- Tytuł:
- Gamma-Reduction in Type Theory of Acyclic Recursion
- Autorzy:
- Loukanova, Roussanka
- Data publikacji:
- 2019
- Słowa kluczowe:
-
algorithms
type theory recursion
acyclic recursion
reduction calculi
gamma-reduction
canonical form - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł