Geometry of Interaction and linear combinatory algebras

Bibliographic Details
Main Authors: Abramsky, S, Haghverdi, E, Scott, P
Format: Conference item
Published: 2002