ETAPS 2019 (series) / Chris Fermüller
Registered user since Sat 2 Mar 2019
Name:Chris Fermüller
Affiliation:Vienna University of Technology
Personal website:https://www.logic.at/staffpages/chrisf
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