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 computational interpretation of forcing in type theory
T Coquand, G Jaber
Epistemology versus Ontology, 203-213, 2012
182012
A note on forcing and type theory
T Coquand, G Jaber
Fundamenta Informaticae 100 (1-4), 43-52, 2010
182010
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
152015
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, ...
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 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
Complete trace models of state and control
G Jaber, AS Murawski
Programming Languages and Systems 12648, 348, 2021
12021
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
Theorems for Free from Separation Logic Specifications
N Tzevelekos, G Jaber, L Birkedal, T DINSDALE-YOUNG, A GUÉNEAU, ...
2021
Temporal Refinements for Guarded Recursive Types
G Jaber, C Riba
Programming Languages and Systems 12648, 548, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20