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

Marisa Venturini Zilli

Browse the full ICALP paper archive.