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