Coherence for skew-monoidal categories
autor
Uustalu, Tarmo
vastutusandmed
Tarmo Uustalu
allikas
Proceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 2014
ilmumiskoht
[S.l.]
kirjastus/väljaandja
Open Publishing Association
ilmumisaasta
2014
leheküljed
p. 68-77
seeria-sari
Electronic proceedings in theoretical computer science ; 153
konverentsi nimetus, aeg
5th Workshop on Mathematically Structured Functional Programming (MSFP 2014), 12 April 2014
konverentsi toimumispaik
Grenoble, France
leitav
https://doi.org/10.4204/EPTCS.153.5
märksõna
algebra
monoidid
programmeerimine
Agda (programmeerimiskeel)
Scopus
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-84927626955&origin=inward&txGid=209c8a0cd5ce04a0802a387bf150e19f
kvartiil
Q3
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
ISSN
2075-2180
märkused
Bibliogr.: 16 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
keel
inglise