Loukanova, R. (2023). Eta-Reduction in Type-Theory of Acyclic Recursion.
Citación estilo ChicagoLoukanova, Roussanka. Eta-Reduction in Type-Theory of Acyclic Recursion. 2023.
Cita MLALoukanova, Roussanka. Eta-Reduction in Type-Theory of Acyclic Recursion. 2023.
Precaución: Estas citas no son 100% exactas.