New Foundations for the Geometry of Interaction (1993)

Cached

Download Links

by Samson Abramsky , Radha Jagadeesan
Venue:Information and Computation
Citations:74 - 22 self

Documents Related by Co-Citation

986 Categories for the Working Mathematician – Saunders Mac Lane - 1971
215 Games and Full Completeness for Multiplicative Linear Logic – Samson Abramsky, Radha Jagadeesan - 1994
3643 Communicating Sequential Processes – C. A. R. Hoare - 1985
103 Towards a geometry of interaction – J Y Girard - 1989
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
3430 Communication and Concurrency – R Milner - 1989
669 Light Linear Logic – Jean-yves Girard
1176 Introduction to Lattices and Order – B A Davey, H A Priestley - 1990
490 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998