Computation on abstract data types. The extensional approach, with an application to streams

Cached

Download Links

by Solomon Feferman
Venue:ANNALS OF PURE AND APPLIED LOGIC
Citations:7 - 2 self

Document Versions

Computation on abstract data types. The extensional approach, with an application to streams –Solomon Feferman — ANNALS OF PURE AND APPLIED LOGIC