Reduction Monads and Their Signatures

Autor: Marco Maggesi, Benedikt Ahrens, Ambroise Lafont, André Hirschowitz

Publikováno v: Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, ACM, 2020, pp.1-29. ⟨10.1145/3371099⟩
Proceedings of the ACM on Programming Languages, 2020, pp.1-29. ⟨10.1145/3371099⟩

In this work, we study 'reduction monads', which are essentially the same as monads relative to the free functor from sets into multigraphs. Reduction monads account for two aspects of the lambda calculus: on the one hand, in the monadic viewpoint, t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3acf2e86072a12291cbeed6bbe47e352
http://arxiv.org/abs/1911.06391

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.