Omslagsbillede

Eta-Reduction in Type-Theory of Acyclic Recursion

Guardado en:
Udgivet i:ADCAIJ : Advances in Distributed Computing and Artificial Intelligence Journal vol. 12 (2023), p. e29199
Hovedforfatter: Loukanova, Roussanka
Udgivet:
Ediciones Universidad de Salamanca
Fag:
Algorithms
Calculus
Artificial intelligence
Syntax
Semantics
Distributed processing
Online adgang:Citation/Abstract
Full Text - PDF
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!