| 2007 |
|---|
| 7 | EE | Alexandre Miquel:
Classical Program Extraction in the Calculus of Constructions.
CSL 2007: 313-327 |
| 2006 |
|---|
| 6 | EE | Ariel Arbiser,
Alexandre Miquel,
Alejandro Ríos:
A Lambda-Calculus with Constructors.
RTA 2006: 181-196 |
| 2004 |
|---|
| 5 | EE | Alexandre Miquel:
lamda-Z: Zermelo's Set Theory as a PTS with 4 Sorts.
TYPES 2004: 232-251 |
| 2003 |
|---|
| 4 | EE | Alexandre Miquel:
A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory.
CSL 2003: 441-454 |
| 2002 |
|---|
| 3 | EE | Alexandre Miquel,
Benjamin Werner:
The Not So Simple Proof-Irrelevant Model of CC.
TYPES 2002: 240-258 |
| 2001 |
|---|
| 2 | EE | Alexandre Miquel:
The Implicit Calculus of Constructions.
TLCA 2001: 344-359 |
| 2000 |
|---|
| 1 | EE | Alexandre Miquel:
A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping.
LICS 2000: 18-29 |
