Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Baillot, Patrick - Laboratoire de l'Informatique du Parallélisme, Ecole Normale Supérieure de Lyon
Type Inference in Intuitionistic Linear Logic Patrick Baillot
A PolyTime Functional Language from Light Linear Logic Patrick Baillot1
From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing
Elementary linear logic revisited for polynomial time and
