Guilhem Jaber

Available identifiers

zbMath Open jaber.guilhemMaRDI QIDQ1652963

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6124960	2024-04-10	Paper
Deciding contextual equivalence of \(\nu \)-calculus with effectful contexts	2023-11-24	Paper
Complete trace models of state and control	2021-10-18	Paper
Temporal refinements for guarded recursive types	2021-10-18	Paper
A trace semantics for System F parametric polymorphism	2018-07-17	Paper
Trace semantics for polymorphic references	2018-04-23	Paper
The definitional side of the forcing	2018-04-23	Paper
Extending type theory with forcing	2017-05-16	Paper
A Kripke logical relation for effect-based program transformations	2016-07-07	Paper
Kripke open bisimulation. A marriage of game semantics and operational techniques	2016-01-08	Paper
Operational nominal game semantics	2015-10-01	Paper
A computational interpretation of forcing in type theory	2015-06-05	Paper
A note on forcing and type theory	2011-01-03	Paper

Research outcomes over time

This page was built for person: Guilhem Jaber