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

by Solomon Feferman
Venue:ANNALS OF PURE AND APPLIED LOGIC
Citations:8 - 3 self