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, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Type de document :
Communication dans un congrès
Typed Lambda Calculi and Applications, TLCA'09, 2009, Brasilia, Brazil. 2009, 〈10.1007/978-3-642-02273-9_23〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00436412
Contributeur : Lutz Straßburger <>
Soumis le : jeudi 26 novembre 2009 - 16:22:10
Dernière modification le : jeudi 10 mai 2018 - 02:06:30

Lien texte intégral

Identifiants

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. 2009, 〈10.1007/978-3-642-02273-9_23〉. 〈inria-00436412〉

Partager

Métriques

Consultations de la notice

181