Relative monads formalised
vastutusandmed
Thorsten Altenkirch, James Chapman and Tarmo Uustalu
allikas
kirjastus/väljaandja
University of Bologna
ajakirja aastakäik number kuu
Vol. 7, 1
ilmumisaasta
leheküljed
p. 1-43
ISSN
1972-5787
märkused
Bibliogr.: 19 ref
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
kategooria (üld)
TTÜ struktuuriüksus
Altenkirch, T., Chapman, J., Uustalu, T. Relative monads formalised // Journal of formalized reasoning (2014) Vol. 7, 1, p. 1-43.