Gamma-Reduction in Type Theory of Acyclic Recursion.

Autor: Loukanova, Roussanka1 (AUTHOR) rloukanova@gmail.com
Zdroj: Fundamenta Informaticae. 2019, Vol. 170 Issue 4, p367-411. 45p.
Databáze: Academic Search Ultimate
Externí odkaz: