"Head Recurrent Terms in Combinatory Logic: A Generalization of the Notion ..."

Marisa Venturini Zilli (1978)
a service of Schloss Dagstuhl - Leibniz Center for Informatics