Not registered as user yet

Name: Andrej Dudenhefner

Affiliation: Technical University Dortmund

All Activities

• Author of Intersection Type Calculi of Bounded Dimension within the POPL-track in POPL 2017
• Author of The Complexity of Principal Inhabitation within the FSCD 2017-track in FSCD 2017