Marisa Venturini Zilli
Head Recurrent Terms in Combinatory Logic: A Generalization of the Notion of Head Normal Form
ICALP, 1978.
@inproceedings{ICALP-1978-Zilli,
author = "Marisa Venturini Zilli",
booktitle = "{Proceedings of the Fifth Colloquium on Automata, Languages and Programming}",
doi = "10.1007/3-540-08860-1_36",
isbn = "3-540-08860-1",
pages = "477--493",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Head Recurrent Terms in Combinatory Logic: A Generalization of the Notion of Head Normal Form}",
volume = 62,
year = 1978,
}