Guilhem Jaber
From MaRDI portal
Person:1652963
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 |
The Definitional Side of the Forcing | 2018-04-23 | Paper |
Trace semantics for polymorphic references | 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 | 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
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Guilhem Jaber