Skip to main content

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