Journal article
Solomon Feferman. Computation on abstract data types. The extensional approach, with an application to streams . Annals of pure and applied logic , vol. 81 (1996), pp. 75–113.
Authors
Zucker J
Journal
Bulletin of Symbolic Logic, Vol. 8, No. 4, pp. 538–542
Publisher
Cambridge University Press (CUP)
Publication Date
December 1, 2002
DOI
10.2178/bsl/1182353933
ISSN
1079-8986