Geometry of Interaction and linear combinatory algebras (2002)

by S Abramsky, E Haghverdi, P J Scott
Venue:Mathematical Structures in Computer Science