conf.researchr.org / Guilhem Jaber
Registered user since Fri 3 Jul 2015
Name:Guilhem Jaber
Country:France
Affiliation:Nantes Université
Personal website: http://guilhem.jaber.fr
Contributions
2024
GaLoP
- Author of Operational game semantics for generative algebraic effects and handlers within the GALOP 2024-track
- Committee Member in Program Committee within the GALOP 2024-track
- Author of An abstract, certified account of Operational Game Semantics within the GALOP 2024-track
- Session Chair of Session 4 (part of GALOP 2024)