Base modules for parametrized iterativity

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F14%3A00212995" target="_blank" >RIV/68407700:21230/14:00212995 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1016/j.tcs.2013.12.019" target="_blank" >http://dx.doi.org/10.1016/j.tcs.2013.12.019</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.tcs.2013.12.019" target="_blank" >10.1016/j.tcs.2013.12.019</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Base modules for parametrized iterativity

Popis výsledku v původním jazyce

Abstrakt: The concept of a base, that is a parametrized finitary monad, which we introduced earlier, followed the footsteps of Tarmo Uustalu in his attempt to formalize parametrized recursion. We proved that for every base free iterative algebras exist,and we called the corresponding monad the rational monad of the base. Here we introduce modules for a base, and we prove that the rational monad of a base gives rise to a canonical module, that is characterized as the free iterative module on the given base.

Název v anglickém jazyce

Base modules for parametrized iterativity

Popis výsledku anglicky

Abstrakt: The concept of a base, that is a parametrized finitary monad, which we introduced earlier, followed the footsteps of Tarmo Uustalu in his attempt to formalize parametrized recursion. We proved that for every base free iterative algebras exist,and we called the corresponding monad the rational monad of the base. Here we introduce modules for a base, and we prove that the rational monad of a base gives rise to a canonical module, that is characterized as the free iterative module on the given base.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2014

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Theoretical Computer Science

ISSN

0304-3975

e-ISSN

—

Svazek periodika

2014

Číslo periodika v rámci svazku

523

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

30

Strana od-do

56-85

Kód UT WoS článku

000331666200003

EID výsledku v databázi Scopus

—