Suivre
Guilhem Jaber
Guilhem Jaber
Adresse e-mail validée de univ-nantes.fr - Page d'accueil
Titre
Citée par
Citée par
Année
Extending type theory with forcing
G Jaber, N Tabareau, M Sozeau
2012 27th Annual IEEE Symposium on Logic in Computer Science, 395-404, 2012
492012
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
Operational nominal game semantics
G Jaber
Foundations of Software Science and Computation Structures: 18th …, 2015
242015
A computational interpretation of forcing in type theory
T Coquand, G Jaber
Epistemology versus Ontology: Essays on the Philosophy and Foundations of …, 2012
242012
A note on forcing and type theory
T Coquand, G Jaber
Fundamenta Informaticae 100 (1-4), 43-52, 2010
232010
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
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
142021
SyTeCi: automating contextual equivalence for higher-order programs with references
G Jaber
Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019
132019
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
92022
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
Complete trace models of state and control
G Jaber, AS Murawski
Programming Languages and Systems: 30th European Symposium on Programming …, 2021
72021
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
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
52021
Temporal Refinements for Guarded Recursive Types
G Jaber, C Riba
European Symposium on Programming, 548-578, 2021
52021
A Trace Semantics for System F Parametric Polymorphism
G Jaber, N Tzevelekos
Foundations of Software Science and Computation Structures: 21st …, 2018
52018
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
12023
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20