Zobrazeno 1 - 10
of 98
pro vyhledávání: '"Rauch, Christoph"'
Publikováno v:
The Diez Albums: Contexts and Contents. 11:1-12
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
The Yemeni Manuscript Tradition. 7:1-11
Notions of guardedness serve to delineate admissible recursive definitions in various settings in a compositional manner. In recent work, we have introduced an axiomatic notion of guardedness in symmetric monoidal categories, which serves as a unifyi
Externí odkaz:
http://arxiv.org/abs/1807.11256
Publikováno v:
Logical Methods in Computer Science, Volume 15, Issue 3 (July 4, 2019) lmcs:4170
Models of iterated computation, such as (completely) iterative monads, often depend on a notion of guardedness, which guarantees unique solvability of recursive equations and requires roughly that recursive calls happen only under certain guarding op
Externí odkaz:
http://arxiv.org/abs/1712.09574
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Monads are extensively used nowadays to abstractly model a wide range of computational effects such as nondeterminism, statefulness, and exceptions. It turns out that equipping a monad with a (uniform) iteration operator satisfying a set of natural a
Externí odkaz:
http://arxiv.org/abs/1603.02148