"On the rôle of minimal typing derivations in type-driven program ..."

Stefan Holdermans, Jurriaan Hage (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics