Concepedia

Michel Parigot

MP

9

Publications

448

Citations

9

H-Index

1985

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Université Paris Cité

University of Bath

Michel Parigot is an author at Centre National de la Recherche Scientifique specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationVerificationProof ComplexityLinguisticsLogic ProgrammingProgramming Languages

Publications per year

1985–2013

9

Publications

9

Proofs of strong normalisation for second order classical natural deduction

Michel Parigot · Journal of Symbolic Logic · 1997 · 127 citations

Non-classical Logic, Engineering, Reducibility Candidates +12

Strong normalization for second order classical natural deduction

Michel Parigot · 2002 · 82 citations

Engineering, Reducibility Candidates, Substructural Logic +9

Recursive programming with proofs

Michel Parigot · Theoretical Computer Science · 1992 · 71 citations

Mathematical Programming, Engineering, Automated Reasoning +9

Programming with proofs

Jean-Louis Krivine, Michel Parigot · Journal of automata, languages and combinatorics · 1990 · 63 citations

Engineering, Automated Reasoning, Verification +7

A Proof Calculus Which Reduces Syntactic Bureaucracy

Alessio Guglielmi, Tom Gundersen, Michel Parigot · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 35 citations · Full text

Engineering, Tree Structure, Automated Reasoning +13

Rows per page

1–5 of 9