Geometry of Interaction and linear combinatory algebras

S. Abramsky, E. Haghverdi and P. Scott

book title	Mathematical Structures in Computer Science
pages	625-665
volume	12
year	2002

people

Samson Abramsky