Tom Hirschowitz

Registered user since Tue 6 Nov 2018

Name:Tom Hirschowitz
Affiliation:Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 Chambéry


GaLoP 2019 Author of Simple game semantics and Day convolution within the GaLoP-track
POPL 2019 Author of Familial Monads and Structural Operational Semantics within the Research Papers-track