Corrado Böhm, Mariangiola Dezani-Ciancaglini
Combinatorial Problems, Combinator Equations and Normal Forms
ICALP, 1974.
@inproceedings{ICALP-1974-BohmD, author = "Corrado Böhm and Mariangiola Dezani-Ciancaglini", booktitle = "{Proceedings of the Second Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-06841-4_60", isbn = "3-540-06841-4", pages = "185--199", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Combinatorial Problems, Combinator Equations and Normal Forms}", volume = 14, year = 1974, }