conf.researchr.org / Guilhème Jaber
Registered user since Fri 3 Jul 2015
Name:Guilhème Jaber
Country:France
Affiliation:Nantes Université
Personal website: http://guilheme.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)