The Delay Monad and Restriction Categories

Theoretical Aspects of Computing – ICTAC 2017 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-67729-3_3 ◽

2017 ◽

pp. 32-50 ◽

Author(s):

Tarmo Uustalu ◽

Niccolò Veltri

Download Full-text