## Makoto Hamana

*Initial Algebra Semantics for Cyclic Sharing Structures*

TLCA, 2009.

@inproceedings{TLCA-2009-Hamana, author = "Makoto Hamana", booktitle = "{Proceedings of the Ninth International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/978-3-642-02273-9_11", isbn = "978-3-642-02272-2", pages = "127--141", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Initial Algebra Semantics for Cyclic Sharing Structures}", volume = 5608, year = 2009, }