Michel Parigot

Publication Activity (10 Years)

Years Active: 1982-2020
Publications (10 Years): 2

Top Topics

Lambda Calculus

Complex Objects

Database Query Languages

Top Venues

Log. Methods Comput. Sci.

Publications

David Sherratt, Willem Heijltjes, Tom Gundersen, Michel Parigot
Spinal Atomic Lambda-Calculus. FoSSaCS (2020)
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae Log. Methods Comput. Sci. 12 (2) (2016)
Tom Gundersen, Willem Heijltjes, Michel Parigot
A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus. LPAR (2013)
Tom Gundersen, Willem Heijltjes, Michel Parigot
Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing. LICS (2013)
Michel Parigot
A Symmetric Natural Deduction. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Tom Gundersen, Michel Parigot
A Tentative Atomic Calculus for Natural Deduction. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
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)
Alessio Guglielmi, Tom Gundersen, Michel Parigot
A Proof Calculus Which Reduces Syntactic Bureaucracy. RTA (2010)
Michel Parigot
On Constructive Existence. TYPES (2004)
Michel Parigot
Strong Normalization of Second Order Symmetric lambda-Calculus. FSTTCS (2000)
Michel Parigot
On the Computational Interpretation of Negation. CSL (2000)
Michel Parigot
Proofs of Strong Normalisation for Second Order Classical Natural Deduction. J. Symb. Log. 62 (4) (1997)
Michel Parigot, Paul Rozière
Constant Time Reductions in Lambda-Caculus. MFCS (1993)
Michel Parigot
Strong Normalization for Second Order Classical Natural Deduction LICS (1993)
Michel Parigot
Classical Proofs as Programs. Kurt Gödel Colloquium (1993)
Pascal Manoury, Michel Parigot, Marianne Simonot
ProPre A Programming Language with Proofs. LPAR (1992)
Michel Parigot
Recursive Programming with Proofs. Theor. Comput. Sci. 94 (2) (1992)
Michel Parigot
Lambda-Mu-Calculus: An Algorithmic Interpretation of Classical Natural Deduction. LPAR (1992)
Michel Parigot
Free Deduction: An Analysis of "Computations" in Classical Logic. RCLP (1991)
Michel Parigot
Internal Labellings in Lambda-Calculus. MFCS (1990)
Jean-Louis Krivine, Michel Parigot
Programming with Proofs. J. Inf. Process. Cybern. 26 (3) (1990)
Michel Parigot
On the Representation of Data in Lambda-Calculus. CSL (1989)
Michel Parigot
Programming with Proofs: A Second Order Type Theory. ESOP (1988)
Michel Parigot
Automata, Games, and Positive Monadic Theories of Trees. FSTTCS (1987)
Michel Parigot, Elisabeth Pelz
A logical formalism for the study of the infinite behaviour of Petri nets. Applications and Theory in Petri Nets (1985)
Michel Parigot, Elisabeth Pelz
A Logical Approach of Petri Net Languages. Theor. Comput. Sci. 39 (1985)
Michel Parigot
Le modèle Compagnon de la THéOrie des arbres. Math. Log. Q. 29 (3) (1983)
Michel Parigot
Theories D'Arbres. J. Symb. Log. 47 (4) (1982)