5 citations · 5 across the 1 of their papers we have counts for
3 papers
math.LO2020★ 5 cited
Implicative algebras II: completeness w.r.t. Set-based triposes
Alexandre Miquel
We prove that all Set-based triposes are implicative triposes.
cs.LO2019
Realizability in the Unitary Sphere
Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel +1
In this paper we present a semantics for a linear algebraic lambda-calculus based on realizability. This semantics characterizes a notion of unitarity in the system, answering a lo…
math.LO2018
Implicative algebras: a new foundation for realizability and forcing
Alexandre Miquel
We introduce the notion of implicative algebra, a simple algebraic structure intended to factorize the model constructions underlying forcing and realizability (both in intuitionis…