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

City

Introduction Object / /

Country

France / Italy / /

/

IndustryTerm

unification algorithm / /

Organization

Giorgio Delzanno Max-Planck-Institut f¨ / Ecole Normale Sup´erieure de Lyon / /

Person

Luigi Liquori / Horn Clauses / Dale Miller / Maurizio Martelli / Giorgio Delzanno / /

ProgrammingLanguage

L / /

Technology

unification algorithm / /

SocialTag