The categorical abstract machine (1987)

by G Cousineau, P-L Curien, M Mauny
Venue:Science of Computer Programming