Interaction Combinators (1995)

Cached

Download Links

by Yves Lafont
Venue:Information and Computation
Citations:35 - 2 self

Active Bibliography

Universal Interaction Systems with Only Two Agents – Denis Bechet
53 A Brief Guide to Linear Logic – Andre Scedrov - 1993
8 Encoding Linear Logic with Interaction Combinators – Ian Mackie - 2002
41 Applications of Linear Logic to Computation: An Overview – Vladimir Alexiev - 1993
Semantics and Concurrent Extensions – Damiano Mazza, Université De La Méditerranée, Spécialité Mathématiques, Laurent Regnier, Laurent Regnier, Michele Abrusci, Michele Abrusci, Lorenzo Tortora De Falco, Ian Mackie, Peter Selinger, Ian Mackie, Damiano Mazza
54 From Proof-Nets to Interaction Nets – Yves Lafont - 1994
625 Light Linear Logic – Jean-yves Girard
1008 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
40 Interaction Systems I: The theory of optimal reductions – Andrea Asperti, Cosimo Laneve - 1994