New Foundations for the Geometry of Interaction
S. Abramsky and R. Jagadeesan
Book Title
Symposium on Logic in Computer Science
Pages
211−222
Publisher
Computer Society Press of the IEEE
Year
1992
S. Abramsky and R. Jagadeesan