1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.LO2022
A first-order completeness result about characteristic Boolean algebras in classical realizability
Guillaume Geoffroy
We prove the following completeness result about classical realizability: given any Boolean algebra with at least two elements, there exists a Krivine-style classical realizability…
cs.LO2021★ 1 cited
Extensional Denotational Semantics of Higher-Order Probabilistic Programs, Beyond the Discrete Case
Guillaume Geoffroy
We describe a mathematical structure that can give extensional denotational semantics to higher-order probabilistic programs. It is not limited to discrete probabilities, and it is…
cs.LO2018
Classical realizability as a classifier for nondeterminism
Guillaume Geoffroy
We show how the language of Krivine's classical realizability may be used to specify various forms of nondeterminism and relate them with properties of realizability models. More s…