Eta-Reduction in Type-Theory of Acyclic Recursion

Dades bibliogràfiques

Publicat a:	ADCAIJ : Advances in Distributed Computing and Artificial Intelligence Journal vol. 12, no. 1 (2023), p. e29199
Autor principal:	Loukanova, Roussanka
Publicat:	Ediciones Universidad de Salamanca
Matèries:	Conversion Algorithms Reduction Calculus Artificial intelligence Syntax Semantics Distributed processing
Accés en línia:	Citation/Abstract Full Text - PDF
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!