Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Timo Lang
conf.researchr.org general profile
ETAPS 2019 profile
Not registered as user yet
Name:
Timo Lang
Affiliation:
Vienna University of Technology
Personal website:
https://logic-cs.at/phd/students/timo-lang/
Contributions
2019
GaLoP
Author of Modalities as prices: a game model of intuitionistic linear logic with subexponentials within the GaLoP-track
Share
x
Mon 18 Nov 17:22