Eric Badouel
Terms and Infinite Trees as Monads Over a Signature
TAPSOFT, 1989.
@inproceedings{CAAP-1989-Badouel, author = "Eric Badouel", booktitle = "{Proceedings of the Third International Joint Conference on Theory and Practice of Software Development, Volume 1: Colloquium on Trees in Algebra and Programming}", doi = "10.1007/3-540-50939-9_126", isbn = "3-540-50939-9", pages = "89--103", publisher = "{Springer}", title = "{Terms and Infinite Trees as Monads Over a Signature}", year = 1989, }