The following pages link to Guilhem Jaber (Q1652963):
Displayed 13 items.
- A trace semantics for System F parametric polymorphism (Q1652964) (← links)
- Complete trace models of state and control (Q2233464) (← links)
- Temporal refinements for guarded recursive types (Q2233479) (← links)
- A Kripke logical relation for effect-based program transformations (Q2629855) (← links)
- Operational Nominal Game Semantics (Q2949444) (← links)
- Extending Type Theory with Forcing (Q2986815) (← links)
- A Note on Forcing and Type Theory (Q3065010) (← links)
- Kripke Open Bisimulation (Q3460912) (← links)
- The Definitional Side of the Forcing (Q4635893) (← links)
- Trace semantics for polymorphic references (Q4635919) (← links)
- A Computational Interpretation of Forcing in Type Theory (Q5253929) (← links)
- Deciding contextual equivalence of \(\nu \)-calculus with effectful contexts (Q6091179) (← links)
- (Q6124960) (← links)