"Combinatory Reduction Systems with Explicit Substitution that Preserve ..."

Roel Bloo, Kristoffer Høgsbro Rose (1996)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics