Follow
Guilhem Jaber
Guilhem Jaber
Verified email at univ-nantes.fr - Homepage
Title
Cited by
Cited by
Year
Extending type theory with forcing
G Jaber, N Tabareau, M Sozeau
2012 27th Annual IEEE Symposium on Logic in Computer Science, 395-404, 2012
462012
The Definitional Side of the Forcing
G Jaber, G Lewertowski, PM Pédrot, M Sozeau, N Tabareau
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
362016
A note on forcing and type theory
T Coquand, G Jaber
Fundamenta Informaticae 100 (1-4), 43-52, 2010
202010
A computational interpretation of forcing in type theory
T Coquand, G Jaber
Epistemology versus Ontology, 203-213, 2012
192012
Krivine realizability for compiler correctness
G Jaber, N Tabareau
Workshop LOLA 2010, Syntax and Semantics of Low Level Languages, 2010
172010
Trace semantics for polymorphic references
G Jaber, N Tzevelekos
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
162016
Operational nominal game semantics
G Jaber
International Conference on Foundations of Software Science and Computation …, 2015
162015
Kripke Open Bisimulation
G Jaber, N Tabareau
Asian Symposium on Programming Languages and Systems, 271-291, 2015
122015
SyTeCi: automating contextual equivalence for higher-order programs with references
G Jaber
Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019
102019
The Journey of Biorthogonal Logical Relations to the Realm of Assembly Code
G Jaber, N Tabareau
Workshop LOLA 2011, Syntax and Semantics of Low Level Languages, 2011
102011
Theorems for free from separation logic specifications.
L Birkedal, T Dinsdale-Young, A Guéneau, G Jaber, K Svendsen, ...
Proc. ACM Program. Lang. 5 (ICFP), 1-29, 2021
72021
Complete trace models of state and control
G Jaber, AS Murawski
Programming Languages and Systems 12648, 348, 2021
32021
A Trace Semantics for System F Parametric Polymorphism
G Jaber, N Tzevelekos
International Conference on Foundations of Software Science and Computation …, 2018
32018
A Kripke logical relation for effect-based program transformations
L Birkedal, G Jaber, F Sieczkowski, J Thamsborg
Information and Computation 249, 160-189, 2016
32016
Games, mobile processes, and functions
G Jaber, D Sangiorgi
30th EACSL Annual Conference on Computer Science Logic (CSL 2022)., 2022
12022
Modal Logic of Transition Systems in the Topos of Trees
C Riba, G Jaber
12017
A logical study of program equivalence
G Jaber
Ecole des Mines de Nantes, 2014
12014
Decomposing Logical Relations with Forcing
G Jaber, N Tabareau
12011
Compositional relational reasoning via operational game semantics
G Jaber, AS Murawski
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021
2021
Theorems for Free from Separation Logic Specifications
N Tzevelekos, G Jaber, L Birkedal, T DINSDALE-YOUNG, A GUÉNEAU, ...
2021
The system can't perform the operation now. Try again later.
Articles 1–20