Skip to Main content Skip to Navigation
Conference papers

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

Lutz Strassburger 1 
1 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00436412
Contributor : Lutz Straßburger Connect in order to contact the contributor
Submitted on : Thursday, November 26, 2009 - 4:22:10 PM
Last modification on : Thursday, January 20, 2022 - 5:30:47 PM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

137