Perpetuality in a named lambda calculus with explicit substitutions

Artikeleigenschaften
Abstrakt
Login
Zitieren
BONELLI, EDUARDO. “Perpetuality in a Named Lambda Calculus With Explicit Substitutions”. Mathematical Structures in Computer Science, vol. 11, no. 1, 2001, pp. 47-90, https://doi.org/10.1017/s0960129500003248.
BONELLI, E. (2001). Perpetuality in a named lambda calculus with explicit substitutions. Mathematical Structures in Computer Science, 11(1), 47-90. https://doi.org/10.1017/s0960129500003248
BONELLI E. Perpetuality in a named lambda calculus with explicit substitutions. Mathematical Structures in Computer Science. 2001;11(1):47-90.
Journalkategorien
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
Sie können auch mögen
Beschreibung

Wie können wir sicherstellen, dass Berechnungen bei Bedarf unbegrenzt fortgesetzt werden? Diese Arbeit untersucht die Perpetuität im Kalkül expliziter Substitutionen λx, wobei eine Reduktion als perpetuell betrachtet wird, wenn sie die Möglichkeit unendlicher Reduktionssequenzen aufrechterhält.

Published in Mathematical Structures in Computer Science, this paper aligns with the journal's focus on theoretical foundations and mathematical tools relevant to computer science. By exploring perpetuality in lambda calculus, it contributes to the development of more powerful and predictable computational models, which is of interest to the journal's readership.

Zitate
Login
Zitationsanalyse
Kategorie Kategorie Wiederholung
Science: Mathematics: Instruments and machines: Electronic computers. Computer science1
Die Kategorie Science: Mathematics: Instruments and machines: Electronic computers. Computer science 1 ist der am häufigsten referenzierte Bereich in Studien, die diesen Artikel zitieren.