Relative monads formalised
autor
Altenkirch, Thorsten
Chapman, James
Uustalu, Tarmo
vastutusandmed
Thorsten Altenkirch, James Chapman and Tarmo Uustalu
allikas
Journal of formalized reasoning
kirjastus/väljaandja
University of Bologna
ajakirja aastakäik number kuu
Vol. 7, 1
ilmumisaasta
2014
leheküljed
p. 1-43
leitav
https://doi.org/10.6092/issn.1972-5787/4389
märksõna
monaadid
programmeerimiskeeled
ISSN
1972-5787
märkused
Bibliogr.: 19 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/21100262198
https://www.scopus.com/record/display.uri?eid=2-s2.0-84904630409&origin=inward&txGid=417864a3d23c7ca8e897f9b405dcc50f
kategooria (üld)
Mathematics
Matemaatika
Computer science
Arvutiteadus
kategooria (alam)
Mathematics. General mathematics
Matemaatika. Üldmatemaatika
Computer science. Computer science (miscellaneous)
Arvutiteadus. Arvutiteadus (mitmesugused)
kvartiil
Q2
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
keel
inglise