`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:

### Wrote 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.