BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Parigot:Michel

Contributed to:

LICS 20132013
RTA 20102010
CSL 20002000
CSL 19891989
ESOP 19881988

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.