"A Unifying Framework for Type Inhabitation."

Sandra Alves, Sabine Broda (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics