Guillaume Geoffroy
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A partial metric semantics of higher-order types and approximate program transformations | 2026-03-23 | Paper |
| Realizability models for large cardinals | 2026-02-19 | Paper |
| Integration in cones Logical Methods in Computer Science | 2025-01-31 | Paper |
| A first-order completeness result about characteristic Boolean algebras in classical realizability | 2024-12-06 | Paper |
| A first-order completeness result about characteristic Boolean algebras in classical realizability | 2022-09-19 | Paper |
| Preserving cardinals and weak forms of Zorn’s lemma in realizability models Mathematical Structures in Computer Science | 2021-05-14 | Paper |
| Classical realizability as a classifier for nondeterminism Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
Research outcomes over time
This page was built for person: Guillaume Geoffroy
