`Travelled to:`

1 × Austria

1 × Brazil

1 × Canada

1 × Poland

1 × Serbia

1 × Switzerland

2 × USA

`Collaborated with:`

∅ A.Arbiser A.Ríos

`Talks about:`

calculus (3) classic (3) construct (2) program (2) extract (2) realiz (2) type (2) constructor (1) correspond (1) transform (1)

## Person: Alexandre Miquel

### DBLP: Miquel:Alexandre

### Contributed to:

### Wrote 8 papers:

- LICS-2011-Miquel #program transformation
- Forcing as a Program Transformation (AM), pp. 197–206.
- TLCA-2011-Miquel #overview
- A Survey of Classical Realizability (AM), pp. 1–2.
- TLCA-2009-Miquel
- Relating Classical Realizability and Negative Translation for Existential Witness Extraction (AM), pp. 188–202.
- CSL-2007-Miquel #calculus
- Classical Program Extraction in the Calculus of Constructions (AM), pp. 313–327.
- RTA-2006-ArbiserMR #λ-calculus
- A λ-Calculus with Constructors (AA, AM, AR), pp. 181–196.
- CSL-2003-Miquel #normalisation #set
- A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory (AM), pp. 441–454.
- TLCA-2001-Miquel #calculus
- The Implicit Calculus of Constructions (AM), pp. 344–359.
- LICS-2000-Miquel #type system
- A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping (AM), pp. 18–29.