The Categorical Abstract Machine (1990)

by G Cousineau
Venue:Logical Foundations of Functional Programming