Copertina

Eta-Reduction in Type-Theory of Acyclic Recursion

Salvato in:
Pubblicato in:ADCAIJ : Advances in Distributed Computing and Artificial Intelligence Journal vol. 12 (2023), p. e29199
Autore principale: Loukanova, Roussanka
Pubblicazione:
Ediciones Universidad de Salamanca
Soggetti:
Algorithms
Calculus
Artificial intelligence
Syntax
Semantics
Distributed processing
Accesso online:Citation/Abstract
Full Text - PDF
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!