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

View PDF

Download Links

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