Browse by Authors and Editors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 2.

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 Mon May 1 02:25:20 2017 UTC.