Guillaume Geoffroy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2018–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CSL | Realizability Models for Large Cardinals. | Laura Fontanella, Guillaume Geoffroy, Richard Matthews |
| 2022 | LICS | A first-order completeness result about characteristic Boolean algebras in classical realizability. | Guillaume Geoffroy |
| 2021 | CSL | A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations. | Guillaume Geoffroy, Paolo Pistone |
| 2018 | LICS | Classical realizability as a classifier for nondeterminism. | Guillaume Geoffroy |