prindi

Container combinatorics : monads and lax monoidal functors

autor
Uustalu, Tarmo
vastutusandmed
Tarmo Uustalu
allikas
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
Springer Nature
ilmumisaasta
2017
leheküljed
p. 91-105 : ill
seeria-sari
Lecture notes in computer science ; 10608
konverentsi nimetus, aeg
Second IFIP WG 1.8 International Conference, TTCS 2017, september 12–14, 2017
konverentsi toimumispaik
Tehran, Iran
leitav
http://doi.org/10.1007/978-3-319-68953-1_8
märksõna
funktorid
monaadid
aksiomaatika
kombinatoorika
ISSN
0302-9743
ISBN
978-3-319-68952-4
märkused
Bibliogr.: 13 ref
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uustalu, T. Container combinatorics : monads and lax monoidal functors // Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings. Cham : Springer Nature, 2017. p. 91-105 : ill. (Lecture notes in computer science ; 10608). http://doi.org/10.1007/978-3-319-68953-1_8