Skip to main content

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