December 2002 Review: Solomon Feferman, Computation on Abstract Data Types. The Extensional Approach, with an Application to Streams
Jeffery Zucker
Bull. Symbolic Logic 8(4): 538-542 (December 2002). DOI: 10.2178/bsl/1182353933
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

JOURNAL ARTICLE
5 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

Vol.8 • No. 4 • December 2002
Back to Top