ETAPS 2019 (series) / Alexis Laouar
Not registered as user yet
Name: Alexis Laouar
Affiliation: Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS
Contributions
| GaLoP 2019 | Author of Simple game semantics and Day convolution within the GaLoP-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile