Michel Parigot Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2010
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot: A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae. LPAR (Dakar) 2010: 136-153
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alessio Guglielmi, Tom Gundersen, Michel Parigot: A Proof Calculus Which Reduces Syntactic Bureaucracy. RTA 2010: 135-150
2009
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot: Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae. CoRR abs/0903.5392 (2009)
2004
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Parigot: On Constructive Existence. TYPES 2004: 268-273
2000
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Parigot: On the Computational Interpretation of Negation. CSL 2000: 472-484
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Parigot: Strong Normalization of Second Order Symmetric lambda-Calculus. FSTTCS 2000: 442-453
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Parigot, Andrei Voronkov (Eds.): Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings. Lecture Notes in Computer Science 1955, Springer 2000
1997
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Parigot: Proofs of Strong Normalisation for Second Order Classical Natural Deduction. J. Symb. Log. 62(4): 1461-1479 (1997)
1993
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Parigot: Classical Proofs as Programs. Kurt Gödel Colloquium 1993: 263-276
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Parigot: Strong Normalization for Second Order Classical Natural Deduction. LICS 1993: 39-46
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Parigot, Paul Rozière: Constant Time Reductions in Lambda-Caculus. MFCS 1993: 608-617
1992
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Parigot: Recursive Programming with Proofs. Theor. Comput. Sci. 94(2): 335-336 (1992)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Parigot: Lambda-My-Calculus: An Algorithmic Interpretation of Classical Natural Deduction. LPAR 1992: 190-201
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pascal Manoury, Michel Parigot, Marianne Simonot: ProPre A Programming Language with Proofs. LPAR 1992: 484-486
1991
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Parigot: Free Deduction: An Analysis of "Computations" in Classical Logic. RCLP 1991: 361-380
1990
j3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-Louis Krivine, Michel Parigot: Programming with Proofs. Elektronische Informationsverarbeitung und Kybernetik 26(3): 149-167 (1990)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Parigot: Internal Labellings in Lambda-Calculus. MFCS 1990: 439-445
1989
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Parigot: On the Representation of Data in Lambda-Calculus. CSL 1989: 309-321
1988
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Parigot: Programming with Proofs: A Second Order Type Theory. ESOP 1988: 145-159
1987
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Parigot: Automata, Games, and Positive Monadic Theories of Trees. FSTTCS 1987: 44-57
1985
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Parigot, Elisabeth Pelz: A Logical Approach of Petri Net Languages. Theor. Comput. Sci. 39: 155-169 (1985)
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Parigot, Elisabeth Pelz: A logical formalism for the study of the infinite behaviour of Petri nets. Applications and Theory in Petri Nets 1985: 346-361
1982
j1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Parigot: Theories D'Arbres. J. Symb. Log. 47(4): 841-853 (1982)

Coauthor Index

1Paola Bruscoli
[c16] [i1]
2Alessio Guglielmi
[c16] [c15] [i1]
3Tom Gundersen
[c16] [c15] [i1]
4Jean-Louis Krivine
[j3]
5Pascal Manoury
[c7]
6Elisabeth Pelz
[j2] [c1]
7Paul Rozière
[c9]
8Marianne Simonot
[c7]
9Andrei Voronkov
[e1]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 26 04:28:42 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page