conf.researchr.org / Andrej Dudenhefner
Not registered as user yet
Name: Andrej Dudenhefner
Affiliation: Technical University Dortmund
Contributions
| FSCD 2017 | Author of The Complexity of Principal Inhabitation within the FSCD 2017-track |
| POPL 2017 | Author of Intersection Type Calculi of Bounded Dimension within the POPL-track |