The categorical abstract machine (1985)

by G Cousineau, P L Curien, M Mauny
Venue:Functional Programming Languages and Computer Architecture, LNCS Vol 201