Browse by Authors and Editors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: Article
Number of items: 2.

Article

Altenkirch, Thorsten and Chapman, James and Uustalu, Tarmo (2015) Monads need not be endofunctors. Logical Methods in Computer Science, 11 (1:3). pp. 1-40. ISSN 1860-5974

Altenkirch, Thorsten and Chapman, James and Uustalu, Tarmo (2014) Relative monads formalised. Journal of Formalized Reasoning, 7 (1). pp. 1-43. ISSN 1972-5787

This list was generated on Fri Dec 15 11:58:27 2017 UTC.