Alexandre Miquel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2000–2019
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | LICS | Realizability in the Unitary Sphere. | Alejandro Daz-Caro, Mauricio Guillermo, Alexandre Miquel, Benot Valiron |
| 2011 | LICS | Forcing as a Program Transformation. | Alexandre Miquel |
| 2007 | CSL | Classical Program Extraction in the Calculus of Constructions. | Alexandre Miquel |
| 2003 | CSL | A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory. | Alexandre Miquel |
| 2000 | LICS | A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping. | Alexandre Miquel |