The delay monad and restriction categories

statement of authorship
Tarmo Uustalu and Niccolò Veltri
source
Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium Hanoi, Vietnam, October 23-27, 2017 : proceedings
location of publication
Cham
year of publication
pages
p. 32-50
series
Lecture notes in computer science ; 10580
ISSN
0302-9743
ISBN
978-3-319-67728-6
notes
Bibliogr.: 18 ref
TTÜ department
language
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