@inproceedings{paper64, title = "Geometry of Interaction and linear combinatory algebras", author = "S. Abramsky and E. Haghverdi and P. Scott", year = "2002", booktitle = "Mathematical Structures in Computer Science", pages = "625-665", volume = "12", }