Cartesian closed categories of enumerations for e#ective type structures, Parts I and II (1984)

by G Longo, E Moggi
Venue:Semantics of Data Types