Alexandre Miquel

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Implicative models of set theory	2026-04-02	Paper
Realizability in the unitary sphere	2024-12-19	Paper
scientific article; zbMATH DE number 7786377 (Why is no real title available?)	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 Mathematical Structures in Computer Science	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 Mathematical Structures in Computer Science	2017-04-03	Paper
Ordered combinatory algebras and realizability Mathematical Structures in Computer Science	2017-04-03	Paper
A Survey of Classical Realizability Lecture Notes in Computer Science	2011-06-17	Paper
Existential witness extraction in classical realizability and via a negative translation Logical Methods in Computer Science	2011-05-26	Paper
Specifying imperative ML-like programs using dynamic logic Formal Verification of Object-Oriented Software	2011-01-21	Paper
The λ-calculus with constructors: Syntax, confluence and separation Journal of Functional Programming	2009-11-13	Paper
Relating Classical Realizability and Negative Translation for Existential Witness Extraction Lecture Notes in Computer Science	2009-07-07	Paper
Classical Program Extraction in the Calculus of Constructions Computer Science Logic	2009-03-05	Paper
A Lambda-Calculus with Constructors Lecture Notes in Computer Science	2008-09-25	Paper
Classical \(F_{\omega}\), orthogonality and symmetric candidates Annals of Pure and Applied Logic	2008-04-24	Paper
Computer Science Logic Lecture Notes in Computer Science	2007-06-21	Paper
Types for Proofs and Programs Lecture Notes in Computer Science	2006-11-13	Paper
scientific article; zbMATH DE number 2003160 (Why is no real title available?)	2003-11-12	Paper
scientific article; zbMATH DE number 1722663 (Why is no real title available?)	2002-03-21	Paper
Implicative models of set theory (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Alexandre Miquel