Guillaume Geoffroy

12 papers A* 2B 2Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Cut-free Deductive System for Continuous Intuitionistic Logic.
CoRR
Guillaume Geoffroy
2025 J jnl
Integration in Cones.
Log. Methods Comput. Sci.
Thomas Ehrhard, Guillaume Geoffroy
2024 B conf
Realizability Models for Large Cardinals.
CSL
Laura Fontanella, Guillaume Geoffroy, Richard Matthews
2022 A* conf
A first-order completeness result about characteristic Boolean algebras in classical realizability.
LICS
Guillaume Geoffroy
2022 J jnl
A first-order completeness result about characteristic Boolean algebras in classical realizability.
CoRR
Guillaume Geoffroy
2022 J jnl
Integration in Cones.
CoRR
Thomas Ehrhard, Guillaume Geoffroy
2021 B conf
A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations.
CSL
Guillaume Geoffroy, Paolo Pistone
2021 — conf
Drowsiness Detection Using Joint EEG-ECG Data With Deep Learning.
EUSIPCO
Guillaume Geoffroy, Lotfi Chaâri, Jean-Yves Tourneret, Herwig Wendt
2021 J jnl
Extensional Denotational Semantics of Higher-Order Probabilistic Programs, Beyond the Discrete Case.
CoRR
Guillaume Geoffroy
2020 J jnl
Preserving cardinals and weak forms of Zorn's lemma in realizability models.
Math. Struct. Comput. Sci.
Laura Fontanella, Guillaume Geoffroy
2018 A* conf
Classical realizability as a classifier for nondeterminism.
LICS
Guillaume Geoffroy
2018 J jnl
Classical realizability as a classifier for nondeterminism.
CoRR
Guillaume Geoffroy