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
S. Abramsky‚ E. Haghverdi and P. Scott