Alexandre Miquel

Available identifiers

Publication	Date of Publication	Type
Realizability in the unitary sphere	2024-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q6187164	2024-01-10	Paper
Completions of Implicative Assemblies	2023-06-16	Paper
Implicative Assemblies	2023-04-20	Paper
Implicative algebras: a new foundation for realizability and forcing	2020-12-08	Paper
Implicative algebras II: completeness w.r.t. Set-based triposes	2020-11-17	Paper
Specifying Peirce's law in classical realizability	2017-04-03	Paper
Ordered combinatory algebras and realizability	2017-04-03	Paper
A Survey of Classical Realizability	2011-06-17	Paper
Existential witness extraction in classical realizability and via a negative translation	2011-05-26	Paper
Specifying Imperative ML-Like Programs Using Dynamic Logic	2011-01-21	Paper
The λ-calculus with constructors: Syntax, confluence and separation	2009-11-13	Paper
Relating Classical Realizability and Negative Translation for Existential Witness Extraction	2009-07-07	Paper
Classical Program Extraction in the Calculus of Constructions	2009-03-05	Paper
A Lambda-Calculus with Constructors	2008-09-25	Paper
Classical \(F_{\omega}\), orthogonality and symmetric candidates	2008-04-24	Paper
Computer Science Logic	2007-06-21	Paper
Types for Proofs and Programs	2006-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q4435473	2003-11-12	Paper
https://portal.mardi4nfdi.de/entity/Q2778831	2002-03-21	Paper
Implicative models of set theory	N/A	Paper

This page was built for person: Alexandre Miquel