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, Polytechnique - X, 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 11 janvier 2018 - 06:22:14

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

164