Travelled to:1 × France
1 × USA
1 × United Kingdom
2 × Germany
Collaborated with:∅ T.Gundersen W.Heijltjes A.Guglielmi
Talks about:calculus (4) proof (2) type (2) bureaucraci (1) represent (1) interpret (1) explicit (1) syntact (1) program (1) theori (1)
Person: Michel Parigot
DBLP: Parigot:Michel
Contributed to:
2013
2010
20001989
1988Wrote 5 papers:
- LICS-2013-GundersenHP #λ-calculus
- Atomic λ Calculus: A Typed λ-Calculus with Explicit Sharing (TG, WH, MP), pp. 311–320.
- RTA-2010-GuglielmiGP #calculus #proving
- A Proof Calculus Which Reduces Syntactic Bureaucracy (AG, TG, MP), pp. 135–150.
- CSL-2000-Parigot #on the
- On the Computational Interpretation of Negation (MP), pp. 472–484.
- CSL-1989-Parigot #on the #representation #λ-calculus
- On the Representation of Data in λ-Calculus (MP), pp. 309–321.
- ESOP-1988-Parigot #higher-order #programming #proving #type system
- Programming with Proofs: A Second Order Type Theory (MP), pp. 145–159.