Michel Parigot

Available identifiers

zbMath Open parigot.michelMaRDI QIDQ1083859

List of research outcomes

Publication	Date of Publication	Type
Spinal atomic \(\lambda\)-calculus	2020-09-23	Paper
Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing	2017-07-03	Paper
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae	2016-07-06	Paper
A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus	2014-01-17	Paper
A Proof Calculus Which Reduces Syntactic Bureaucracy	2012-04-25	Paper
A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae	2011-01-07	Paper
Types for Proofs and Programs	2006-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q4472466	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q2753693	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4268477	1999-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4264064	1999-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q4260369	1999-09-19	Paper
https://portal.mardi4nfdi.de/entity/Q4255509	1999-08-16	Paper
Proofs of strong normalisation for second order classical natural deduction	1998-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q4282613	1995-01-29	Paper
Recursive programming with proofs	1992-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q3976042	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3477935	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3787993	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4720790	1986-01-01	Paper
A logical approach of Petri net languages	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3698785	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3708788	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3767334	1984-01-01	Paper
LE MODÈLE COMPAGNON DE LA THÉORIE DES ARBRES	1983-01-01	Paper
Théories d'arbres	1982-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michel Parigot