conf.researchr.org / Tobias Tebbi
Not registered as user yet
Name:Tobias Tebbi
Contributions
CPP 2017 | Author of Equivalence of System F and λ2 in Coq based on context morphism lemmas within the CPP-track |
Not registered as user yet
Contributions
CPP 2017 | Author of Equivalence of System F and λ2 in Coq based on context morphism lemmas within the CPP-track |