Geometry of interaction and linear combinatory algebras (0)

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