×
Compute Distance To:
Author ID: parigot.michel Recent zbMATH articles by "Parigot, Michel"
Published as: Parigot, Michel; Parigot, M.

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 286 times in 218 Documents Cited by Year
\(\lambda\mu\)-calculus: an algorithmic interpretation of classical natural deduction. Zbl 0925.03092
Parigot, Michel
127
1992
Proofs of strong normalisation for second order classical natural deduction. Zbl 0941.03063
Parigot, Michel
40
1997
Programming with proofs. Zbl 0699.68020
Krivine, Jean-Louis; Parigot, Michel
23
1990
Recursive programming with proofs. Zbl 0759.68014
Parigot, Michel
15
1992
Free deduction: An analysis of “computations” in classical logic. Zbl 0925.03203
Parigot, Michel
14
1992
Classical proofs as programs. Zbl 0805.03012
Parigot, Michel
13
1993
On the representation of data in lambda-calculus. Zbl 0925.03149
Parigot, Michel
10
1990
A logical approach of Petri net languages. Zbl 0605.68049
Parigot, Michel; Pelz, Elisabeth
7
1985
A quasipolynomial cut-elimination procedure in deep inference via atomic flows and threshold formulae. Zbl 1253.03086
Bruscoli, Paola; Guglielmi, Alessio; Gundersen, Tom; Parigot, Michel
6
2010
Théories d’arbres. Zbl 0523.03023
Parigot, Michel
5
1982
A proof calculus which reduces syntactic bureaucracy. Zbl 1236.68131
Guglielmi, Alessio; Gundersen, Tom; Parigot, Michel
4
2010
Automates, réseaux, formules. Zbl 0631.03026
Parigot, Michel
3
1984
On the computational interpretation of negation. Zbl 0973.03017
Parigot, Michel
3
2000
Constant time reductions in \(\lambda\)-calculus. Zbl 0925.03088
Parigot, Michel; Rozière, Paul
3
1993
Strong normalization of second order symmetric \(\lambda\)-calculus. Zbl 1044.03008
Parigot, Michel
3
2000
Le modèle compagnon de la théorie des arbres. Zbl 0539.03013
Parigot, Michel
2
1983
Internal labellings in lambda-calculus. Zbl 0748.03013
Parigot, Michel
2
1990
Atomic lambda calculus: a typed lambda-calculus with explicit sharing. Zbl 1367.03030
Gundersen, Tom; Heijltjes, Willem; Parigot, Michel
2
2013
Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae. Zbl 1448.03045
Bruscoli, Paola; Guglielmi, Alessio; Gundersen, Tom; Parigot, Michel
1
2016
A proof of strong normalisation of the typed atomic lambda-calculus. Zbl 1433.03038
Gundersen, Tom; Heijltjes, Willem; Parigot, Michel
1
2013
Omission des types dans les théories \(\Pi ^ 0_ 2(\Delta)\). (Omitting types for \(\Pi ^ 0_ 2(\Delta)\)-theories). Zbl 0577.03017
Parigot, Michel
1
1984
Spinal atomic \(\lambda\)-calculus. Zbl 07250958
Sherratt, David; Heijltjes, Willem; Gundersen, Tom; Parigot, Michel
1
2020
Spinal atomic \(\lambda\)-calculus. Zbl 07250958
Sherratt, David; Heijltjes, Willem; Gundersen, Tom; Parigot, Michel
1
2020
Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae. Zbl 1448.03045
Bruscoli, Paola; Guglielmi, Alessio; Gundersen, Tom; Parigot, Michel
1
2016
Atomic lambda calculus: a typed lambda-calculus with explicit sharing. Zbl 1367.03030
Gundersen, Tom; Heijltjes, Willem; Parigot, Michel
2
2013
A proof of strong normalisation of the typed atomic lambda-calculus. Zbl 1433.03038
Gundersen, Tom; Heijltjes, Willem; Parigot, Michel
1
2013
A quasipolynomial cut-elimination procedure in deep inference via atomic flows and threshold formulae. Zbl 1253.03086
Bruscoli, Paola; Guglielmi, Alessio; Gundersen, Tom; Parigot, Michel
6
2010
A proof calculus which reduces syntactic bureaucracy. Zbl 1236.68131
Guglielmi, Alessio; Gundersen, Tom; Parigot, Michel
4
2010
On the computational interpretation of negation. Zbl 0973.03017
Parigot, Michel
3
2000
Strong normalization of second order symmetric \(\lambda\)-calculus. Zbl 1044.03008
Parigot, Michel
3
2000
Proofs of strong normalisation for second order classical natural deduction. Zbl 0941.03063
Parigot, Michel
40
1997
Classical proofs as programs. Zbl 0805.03012
Parigot, Michel
13
1993
Constant time reductions in \(\lambda\)-calculus. Zbl 0925.03088
Parigot, Michel; Rozière, Paul
3
1993
\(\lambda\mu\)-calculus: an algorithmic interpretation of classical natural deduction. Zbl 0925.03092
Parigot, Michel
127
1992
Recursive programming with proofs. Zbl 0759.68014
Parigot, Michel
15
1992
Free deduction: An analysis of “computations” in classical logic. Zbl 0925.03203
Parigot, Michel
14
1992
Programming with proofs. Zbl 0699.68020
Krivine, Jean-Louis; Parigot, Michel
23
1990
On the representation of data in lambda-calculus. Zbl 0925.03149
Parigot, Michel
10
1990
Internal labellings in lambda-calculus. Zbl 0748.03013
Parigot, Michel
2
1990
A logical approach of Petri net languages. Zbl 0605.68049
Parigot, Michel; Pelz, Elisabeth
7
1985
Automates, réseaux, formules. Zbl 0631.03026
Parigot, Michel
3
1984
Omission des types dans les théories \(\Pi ^ 0_ 2(\Delta)\). (Omitting types for \(\Pi ^ 0_ 2(\Delta)\)-theories). Zbl 0577.03017
Parigot, Michel
1
1984
Le modèle compagnon de la théorie des arbres. Zbl 0539.03013
Parigot, Michel
2
1983
Théories d’arbres. Zbl 0523.03023
Parigot, Michel
5
1982
all top 5

Cited by 240 Authors

9 Nakazawa, Koji
9 Nour, Karim
7 Aschieri, Federico
6 Ariola, Zena M.
6 Fujita, Ken-etsu
6 Herbelin, Hugo
6 Krivine, Jean-Louis
6 Pym, David J.
4 Biernacki, Dariusz
4 Hyland, J. Martin E.
4 Kesner, Delia
4 Ritter, Eike
4 Saurin, Alexis
4 Stump, Aaron
4 Tatsuta, Makoto
4 van Bakel, Steffen
3 Biernacka, Małgorzata
3 David, Rene
3 Downen, Paul
3 Finkel, Olivier
3 Hetzl, Stefan
3 Joinet, Jean-Baptiste
3 Kimura, Daisuke
3 Laurent, Olivier
3 Lenglet, Sergueï
3 Miquel, Alexandre
3 Monin, François
3 Raffalli, Christophe
3 Riba, Colin
3 Rowe, Reuben N. S.
3 Saber, Khelifa
3 Schellinx, Harold
3 Straßburger, Lutz
3 Tortora de Falco, Lorenzo
3 Wallen, Lincoln A.
2 Abel, Andreas M.
2 Akiba, Ken
2 Barbanera, Franco
2 Berger, Ulrich
2 Blanqui, Frédéric
2 Ciabattoni, Agata
2 Danos, Vincent
2 de’Liguoro, Ugo
2 Dowek, Gilles
2 Galmiche, Didier
2 Genco, Francesco A.
2 Ghilezan, Silvia
2 Guillermo, Mauricio
2 Kakutani, Yoshihiko
2 Kamareddine, Fairouz D.
2 Kameyama, Yukiyoshi
2 Kikuchi, Kentaro
2 Lee, Gyesik
2 Lengrand, Stéphane Jean Eric
2 Lescanne, Pierre
2 Mackie, Ian
2 Matthes, Ralph
2 Miquey, Étienne
2 Miranda Perea, Favio Ezequiel
2 Parigot, Michel
2 Pfenning, Frank
2 Sabry, Amr
2 Sato, Masahiko
2 Simonot, Marianne
2 Uustalu, Tarmo
2 van Bakel, Steffen J.
2 Vene, Varmo
2 Vial, Pierre
2 Wadler, Philip Lee
2 Werner, Benjamin
2 Woltzenlogel Paleo, Bruno
2 Zach, Richard
1 Abramsky, Samson
1 Akama, Yohji
1 Alves, Sandra
1 Andou, Yuuki
1 Aoto, Takahito
1 Aschenbrenner, Matthias
1 Ayala-Rincón, Mauricio
1 Baaz, Matthias
1 Barthe, Gilles
1 Battyányi, Péter
1 Bellin, Gianluigi
1 Berardi, Stefano
1 Berger, Martin J.
1 Berline, Chantal
1 Bickford, Mark
1 Blumensath, Achim
1 Bobkov, Anton
1 Bonelli, Eduardo
1 Boudol, Gérard
1 Brock-Nannestad, Taus
1 Buchholz, Wilfried
1 Caires, Luís
1 Caldwell, James L.
1 Choffrut, Christian
1 Cohen-Chesnot, Joëlle
1 Cohen, Joëlle
1 Colson, Loïc
1 Crolard, Tristan
...and 140 more Authors

Citations by Year