13 citations · 18 across the 5 of their papers we have counts for
6 papers
Concurrent Realizability on Conjunctive Structures
Emmanuel Beffara, Félix Castro, Mauricio Guillermo
The point of this work is to explore axiomatisations of concurrent computation using the technology of proof theory and realizability. To deal with this problem, we redefine the Co…
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…
Realizability in OCAs and AKSs
Walter Ferrer Santos, Mauricio Guillermo, Octavio Malherbe
In the context of the associated to an we introduce a closure operator and two associated maps that replace the closure and the maps defined in \c…
Ordered combinatory algebras and realizability
Walter Ferrer Santos, Jonas Frey, Mauricio Guillermo +2
We consider different classes of combinatory structures related to Krivine realizability. We show, in the precise sense that they give rise to the same class of triposes, that they…
Classical realizability and arithmetical formulæ
Mauricio Guillermo, Étienne Miquey
In this paper we treat the specification problem in classical realizability (as defined in [20]) in the case of arithmetical formulæ. In the continuity of [10] and [11], we charact…
A Report on Realizability
Walter Ferrer Santos, Mauricio Guillermo, Octavio Malherbe
Besides recalling the basic definitions of Realizability Lattices, Abstract Krivine Structures, Ordered Combinatory Algebras and Tripos and reviewing its relationships, we propose…