Back to Results
First PageMeta Content
Formal languages / Metalogic / Non-classical logic / Logical syntax / Sequent calculus / Sequent / Linear logic / Entailment / Intuitionistic logic / Logic / Mathematical logic / Proof theory


Object Calculi in Linear Logic Michele Bugliesi∗ Dipartimento di Matematica, Universit`a di Padova Via Belzoni 7, 35131 Padova, Italy e-mail: Giorgio Delzanno
Add to Reading List

Document Date: 2005-06-07 06:33:56

Open Document

File Size: 284,43 KB

Share Result on Facebook
UPDATE