Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Calculus of Inductive Constructions (CIC)"'
Autor:
Vinogradova, Polina
The concept of a recursive function has been extensively studied using traditional tools of computability theory. However, with the development of category-theoretic methods it has become possible to study recursion in a more general (abstract) sense
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::82acfeea10e99d475ac829314980ac55
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.