Relative monads formalised
statement of authorship
Thorsten Altenkirch, James Chapman and Tarmo Uustalu
publisher
University of Bologna
journal volume number month
Vol. 7, 1
year of publication
pages
p. 1-43
ISSN
1972-5787
notes
Bibliogr.: 19 ref
scientific publication
teaduspublikatsioon
language
inglise
subject term
category (general)
TTÜ department
Altenkirch, T., Chapman, J., Uustalu, T. Relative monads formalised // Journal of formalized reasoning (2014) Vol. 7, 1, p. 1-43.