The delay monad and restriction categories
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
ilmumisaasta
leheküljed
p. 32-50
seeria-sari
Lecture notes in computer science ; 10580
ISSN
0302-9743
ISBN
978-3-319-67728-6
märkused
Bibliogr.: 18 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
WOS
kvartiil
klassifikaator
kategooria (üld)
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, 2017. p. 32-50. (Lecture notes in computer science ; 10580).