Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tobias Tebbi
conf.researchr.org general profile
POPL 2017 profile
Not registered as user
Name:
Tobias Tebbi
Contributions
2017
CPP
Author of Equivalence of System F and λ2 in Coq based on context morphism lemmas within the CPP-track
Share
x
Sun 22 Dec 11:59