Coherence for skew-monoidal categories
author
statement of authorship
Tarmo Uustalu
location of publication
[S.l.]
publisher
year of publication
pages
p. 68-77
conference name, date
5th Workshop on Mathematically Structured Functional Programming (MSFP 2014), 12 April 2014
conference location
Grenoble, France
ISSN
2075-2180
notes
Bibliogr.: 16 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
category (general)
category (sub)
Uustalu, T. Coherence for skew-monoidal categories // Proceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 2014. [S.l.] : Open Publishing Association, 2014. p. 68-77. (Electronic proceedings in theoretical computer science ; 153).