Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

4 résultats
Page :
triés par
Image document

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

 Guillaume Geoffroy
2021
Pré-publication, Document de travail hal-03187624v2
Image document

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

 Guillaume Geoffroy , Paolo Pistone
CSL 2021 - Computer Science Logic, Jan 2021, Lubjana, Slovenia. ⟨10.4230/LIPIcs.CSL.2021.23⟩
Communication dans un congrès hal-03009790v1
Image document

Classical realizability as a classifier for nondeterminism

 Guillaume Geoffroy
ACM/IEEE Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. ⟨10.1145/3209108.3209140⟩
Communication dans un congrès hal-01802215v1
Image document

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

 Guillaume Geoffroy
LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa, Israel. pp.1-8, ⟨10.1145/3531130.3532484⟩
Communication dans un congrès hal-03779966v1
Page :