Geometry of Interaction and Linear Combinatory Algebras (2000)

by Samson Abramsky, Esfandiar Haghverdi, Philip Scott