## Makoto Hamana

*Strongly Normalising Cyclic Data Computation by Iteration Categories of Second-Order Algebraic Theories*

FSCD, 2016.

@inproceedings{FSCD-2016-Hamana, author = "Makoto Hamana", booktitle = "{Proceedings of the First International Conference on Formal Structures for Computation and Deduction}", doi = "10.4230/LIPIcs.FSCD.2016.21", isbn = "978-3-95977-010-1", pages = "18", publisher = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}", title = "{Strongly Normalising Cyclic Data Computation by Iteration Categories of Second-Order Algebraic Theories}", year = 2016, }