13 citations · 18 across the 5 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
math.LO2014
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…
cs.LO2014
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…