Geometry of Interaction and Linear Combinatory Algebras (2000)

Cached

Download Links

by Samson Abramsky , Esfandiar Haghverdi , Philip Scott
Citations:43 - 10 self

Active Bibliography

7 Category theory for linear logicians – Richard Blute, Philip Scott - 2004
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
4 Towards a typed geometry of interaction – Esfandiar Haghverdi, Philip J. Scott - 2005
2 Proofs as Polynomials – Esfandiar Haghverdi, Philip J. Scott
3 Linear realizability and full completeness for typed lambda calculi – Samson Abramsky, Marina Lenisa - 2005
28 Nuclear and Trace Ideals in Tensored *-Categories – Samson Abramsky, Richard Blute, Prakash Panangaden - 1998
3 A specification structure for deadlock-freedom of synchronous processes – S. Abramsky, S. J. Gay, R. Nagarajan - 1999
4 Simple multiplicative proof nets with units – Dominic J. D. Hughes - 2005
31 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
6 Comparing Hierarchies of Types in Models of Linear Logic – Paul-Andre Mellies - 2003
Categories for Imperative Semantics PLDG Seminar – Riccardo Pucella
12 Simple free star-autonomous categories and full coherence – Dominic J. D. Hughes - 2005
28 Call-by-Name, Call-by-Value, Call-by-Need, and the Linear Lambda Calculus – John Maraist, Martin Odersky, David N. Turner, Philip Wadler - 1994
4 Events, Causality and Symmetry – Glynn Winskel - 2008
12 Introducing categories to the practicing physicist. In: What is Category Theory – Bob Coecke - 2006
32 A Semantic analysis of control – James David Laird - 1998
1 Conformal field theory as a nuclear functor – Richard Blute, Prakash Panangaden, Dorette Pronk
8 Games in the Semantics of Programming Languages – Samson Abramsky - 1997
6 Information, Processes and Games – Samson Abramsky