Loukanova, R. (2023). Eta-Reduction in Type-Theory of Acyclic Recursion. ADCAIJ : Advances in Distributed Computing and Artificial Intelligence Journal. https://doi.org/10.14201/adcaij.29199
Kopírování bylo úspěšné
Kopírování se nezdařilo
Citace podle Chicago (17th ed.)
Loukanova, Roussanka. "Eta-Reduction in Type-Theory of Acyclic Recursion."
ADCAIJ : Advances in Distributed Computing and Artificial Intelligence Journal 2023. https://doi.org/10.14201/adcaij.29199.
Kopírování bylo úspěšné
Kopírování se nezdařilo
Citace podle MLA (9th ed.)
Loukanova, Roussanka. "Eta-Reduction in Type-Theory of Acyclic Recursion."
ADCAIJ : Advances in Distributed Computing and Artificial Intelligence Journal, 2023, https://doi.org/10.14201/adcaij.29199.
Kopírování bylo úspěšné
Kopírování se nezdařilo
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..