"Confluence and Preservation of Strong Normalisation in an Explicit ..."

César A. Muñoz (1996)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics