 | 2009 |
|---|
| 9 |       | Alexandre Miquel:
Relating Classical Realizability and Negative Translation for Existential Witness Extraction.
TLCA 2009: 188-202 |
| 2008 |
|---|
| 8 | | Stéphane Lengrand,
Alexandre Miquel:
Classical Fomega, orthogonality and symmetric candidates.
Ann. Pure Appl. Logic 153(1-3): 3-20 (2008) |
| 2007 |
|---|
| 7 | | Alexandre Miquel:
Classical Program Extraction in the Calculus of Constructions.
CSL 2007: 313-327 |
| 2006 |
|---|
| 6 | | Ariel Arbiser,
Alexandre Miquel,
Alejandro Ríos:
A Lambda-Calculus with Constructors.
RTA 2006: 181-196 |
| 2004 |
|---|
| 5 | | Alexandre Miquel:
lamda-Z: Zermelo's Set Theory as a PTS with 4 Sorts.
TYPES 2004: 232-251 |
| 2003 |
|---|
| 4 | | Alexandre Miquel:
A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory.
CSL 2003: 441-454 |
| 2002 |
|---|
| 3 | | Alexandre Miquel,
Benjamin Werner:
The Not So Simple Proof-Irrelevant Model of CC.
TYPES 2002: 240-258 |
| 2001 |
|---|
| 2 | | Alexandre Miquel:
The Implicit Calculus of Constructions.
TLCA 2001: 344-359 |
| 2000 |
|---|
| 1 | | Alexandre Miquel:
A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping.
LICS 2000: 18-29 |
