Relative monads formalised
author
Altenkirch, Thorsten
Chapman, James
Uustalu, Tarmo
statement of authorship
Thorsten Altenkirch, James Chapman and Tarmo Uustalu
source
Journal of formalized reasoning
publisher
University of Bologna
journal volume number month
Vol. 7, 1
year of publication
2014
pages
p. 1-43
url
https://doi.org/10.6092/issn.1972-5787/4389
subject term
monaadid
programmeerimiskeeled
ISSN
1972-5787
notes
Bibliogr.: 19 ref
scientific publication
teaduspublikatsioon
classifier
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
category (general)
Mathematics
Matemaatika
Computer science
Arvutiteadus
category (sub)
Mathematics. General mathematics
Matemaatika. Üldmatemaatika
Computer science. Computer science (miscellaneous)
Arvutiteadus. Arvutiteadus (mitmesugused)
quartile
Q2
TalTech department
TTÜ Küberneetika Instituut
language
inglise