Gamma-Reduction in Type Theory of Acyclic Recursion
| Autor: | Roussanka Loukanova |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
Discrete mathematics
Algebra and Number Theory Recursion (computer science) 0102 computer and information sciences Lambda 01 natural sciences Theoretical Computer Science Reduction (complexity) Type theory Computational Theory and Mathematics 010201 computation theory & mathematics Physics::Space Physics Astrophysics::Solar and Stellar Astrophysics Information Systems Mathematics |
| Zdroj: | Fundamenta Informaticae. 170:367-411 |
| ISSN: | 1875-8681 0169-2968 |
| Popis: | In this article, we introduce Moschovakis higher-order type theory of acyclic recursion L-ar(lambda) . We present the potentials of L-ar(lambda) for incorporating different reduction systems in L-a ... |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|