"A co-contextual formulation of type rules and its application to ..."

Sebastian Erdweg et al. (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics