prindi

The delay monad and restriction categories

autor
Uustalu, Tarmo
Veltri, Niccolo
vastutusandmed
Tarmo Uustalu and Niccolò Veltri
allikas
Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium Hanoi, Vietnam, October 23-27, 2017 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
Springer International Publishing
ilmumisaasta
2017
leheküljed
p. 32-50
seeria-sari
Lecture notes in computer science ; 10580
leitav
https://doi.org/10.1007/978-3-319-67729-3_3
märksõna
monaadid
kategooriad (matemaatika)
ISSN
0302-9743
ISBN
978-3-319-67728-6
märkused
Bibliogr.: 18 ref
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uustalu, T., Veltri, N. The delay monad and restriction categories // Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium Hanoi, Vietnam, October 23-27, 2017 : proceedings. Cham : Springer International Publishing, 2017. p. 32-50. (Lecture notes in computer science ; 10580). https://doi.org/10.1007/978-3-319-67729-3_3