Believe it or not, AJM's games model is a model of classical Linear Logic (1997)

Cached

Download Links

by Patrick Baillot , Vincent Danos , Thomas Ehrhard , Laurent Regnier , Iml-cnrs Marseille , Iml-cnrs Marseille
Citations:14 - 1 self