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
512012
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
372016
A computational interpretation of forcing in type theory
T Coquand, G Jaber
Epistemology versus Ontology: Essays on the Philosophy and Foundations of …, 2012
262012
Operational nominal game semantics
G Jaber
Foundations of Software Science and Computation Structures: 18th …, 2015
252015
A note on forcing and type theory
T Coquand, G Jaber
Fundamenta Informaticae 100 (1-4), 43-52, 2010
252010
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
222021
SyTeCi: automating contextual equivalence for higher-order programs with references
G Jaber
Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019
172019
Trace semantics for polymorphic references
G Jaber, N Tzevelekos
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
172016
Krivine realizability for compiler correctness
G Jaber, N Tabareau
Workshop LOLA 2010, Syntax and Semantics of Low Level Languages, 2010
172010
Kripke Open Bisimulation: A Marriage of Game Semantics and Operational Techniques
G Jaber, N Tabareau
Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang …, 2015
112015
Games, mobile processes, Dfunctions
G Jaber, D Sangiorgi
CSL 2022-30th EACSL Annual Conference on Computer Science Logic, 1-35, 2022
102022
Complete trace models of state and control
G Jaber, AS Murawski
Programming Languages and Systems: 30th European Symposium on Programming …, 2021
92021
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
92011
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
72021
Temporal Refinements for Guarded Recursive Types
G Jaber, C Riba
European Symposium on Programming, 548-578, 2021
62021
A Trace Semantics for System F Parametric Polymorphism
G Jaber, N Tzevelekos
Foundations of Software Science and Computation Structures: 21st …, 2018
62018
A Kripke logical relation for effect-based program transformations
L Birkedal, G Jaber, F Sieczkowski, J Thamsborg
Information and Computation 249, 160-189, 2016
62016
Deciding Contextual Equivalence of ν-Calculus with Effectful Contexts
D Hirschkoff, G Jaber, E Prebet
Foundations of Software Science and Computation Structures LNCS 13992, 24, 2023
22023
Deciding contextual equivalence of ν-calculus with effectful contexts (full version)
D Hirschkoff, G Jaber, E Prebet
1*2023
Modal Logic of Transition Systems in the Topos of Trees
C Riba, G Jaber
12017
The system can't perform the operation now. Try again later.
Articles 1–20