The delay monad and restriction categories

DOI10.1007/978-3-319-67729-3_3zbMath1444.18010OpenAlexW2754254730MaRDI QIDQ1675789

Tarmo Uustalu, Niccolò Veltri

Publication date: 3 November 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-67729-3_3

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Eilenberg-Moore and Kleisli constructions for monads (18C20) Type theory (03B38)

Related Items (3)

Partiality and Container Monads ⋮ Categorical semantics of a simple differential programming language ⋮ Streams of approximations, equivalence of recursive effectful programs

This page was built for publication: The delay monad and restriction categories