ETAPS 2019 (series) / Carlos Olarte

Registered user since Wed 10 Mar 2021
Name:Carlos Olarte
Affiliation:Federal University of Rio Grande do Norte, Brazil
Personal website:https://sites.google.com/site/carlosolarte/
Contributions
GaLoP 2019 | Modalities as prices: a game model of intuitionistic linear logic with subexponentials | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ETAPS 2019-profile
View general profile
View general profile