Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic - Laboratoire d'informatique de l'école polytechnique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic

Dates et versions

inria-00436412 , version 1 (26-11-2009)

Identifiants

Citer

Lutz Strassburger. Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic. Typed Lambda Calculi and Applications, TLCA'09, 2009, Brasilia, Brazil. ⟨10.1007/978-3-642-02273-9_23⟩. ⟨inria-00436412⟩
139 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More