Eta-Reduction in Type-Theory of Acyclic Recursion

Roussanka Loukanova

doi:10.14201/adcaij.29199

Eta-Reduction in Type-Theory of Acyclic Recursion

Roussanka Loukanova

Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, Sofia rloukanova[at]gmail.com

https://doi.org/10.14201/adcaij.29199

Download

+ −

Metrics

439 Views

1811 Downloads

2250 Total

How to Cite

Loukanova, R. (2023). Eta-Reduction in Type-Theory of Acyclic Recursion. ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal, 12(1), e29199. https://doi.org/10.14201/adcaij.29199

ACM
ACS
APA
ABNT
Chicago
Harvard
IEEE
MLA
Turabian
Vancouver

Download Citation

Endnote/Zotero/Mendeley (RIS)
BibTeX

Editorial dates

Submitted:

22-05-2022

Acceptance:

28-12-2022

Published:

18-07-2023

Issue

Vol. 12 (2023)

Section

Articles

Keywords

algorithm
denotation
reduction

Supporting agencies

This research didn't have any funding

License

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.