Browse by Authors and Editors

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

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

Altenkirch, Thorsten (2001) Representations of first order function types as terminal coalgebras. In: TLCA 2001.

Gibbons, Jeremy and Hutton, Graham and Altenkirch, Thorsten (2001) When is a function a fold or an unfold? In: Workshop on Coalgebraic Methods in Computer Science (4th), 6-7 April 2001, Genova, Italy.

This list was generated on Tue Mar 3 12:40:49 2015 GMT.