John Power, Miki Tanaka. Category Theoretic Semantics for Typed Binding Signatures with Recursion. Fundamenta Informaticae, 84(2):221-240, 2008. [doi]
@article{PowerT08,
title = {Category Theoretic Semantics for Typed Binding Signatures with Recursion},
author = {John Power and Miki Tanaka},
year = {2008},
url = {http://iospress.metapress.com/content/7224025073182m45/},
tags = {semantics},
researchr = {https://researchr.org/publication/PowerT08},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {84},
number = {2},
pages = {221-240},
}