Relative monads formalised

vastutusandmed
Thorsten Altenkirch, James Chapman and Tarmo Uustalu
ajakirja aastakäik number kuu
Vol. 7, 1
ilmumisaasta
leheküljed
p. 1-43
ISSN
1972-5787
märkused
Bibliogr. p. 42-43
TTÜ struktuuriüksus
keel
inglise
Altenkirch, T., Chapman, J., Uustalu, T. Relative monads formalised // Journal of formalized reasoning (2014) Vol. 7, 1, p. 1-43.