"CINNI - A Generic Calculus of Explicit Substitutions and its Application ..."

Mark-Oliver Stehr (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics