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