Guillaume Geoffroy

According to our database, Guillaume Geoffroy authored at least 8 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Realizability Models for Large Cardinals.

Laura Fontanella, Guillaume Geoffroy, Richard Matthews

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2022

Integration in Cones.

Thomas Ehrhard, Guillaume Geoffroy

CoRR, 2022

A first-order completeness result about characteristic Boolean algebras in classical realizability.

Guillaume Geoffroy

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

Extensional Denotational Semantics of Higher-Order Probabilistic Programs, Beyond the Discrete Case.

Guillaume Geoffroy

CoRR, 2021

Drowsiness Detection Using Joint EEG-ECG Data With Deep Learning.

Guillaume Geoffroy, Lotfi Chaâri, Jean-Yves Tourneret, Herwig Wendt

Proceedings of the 29th European Signal Processing Conference, 2021

A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations.

Guillaume Geoffroy, Paolo Pistone

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2020

Preserving cardinals and weak forms of Zorn's lemma in realizability models.

Laura Fontanella, Guillaume Geoffroy

Math. Struct. Comput. Sci., 2020

2018

Classical realizability as a classifier for nondeterminism.

Guillaume Geoffroy

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018