Skip to Main content Skip to Navigation
Conference papers

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

Lutz Straßburger 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 <>
Submitted on : Thursday, November 26, 2009 - 4:22:10 PM
Last modification on : Thursday, January 7, 2021 - 3:40:14 PM

Links full text

Identifiers

Collections

Citation

Lutz Straßburger. 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

263