On the relation between the λμ-calculus and the syntactic theory of sequential control | springerprofessional.de

Springer Professional

nach oben

Erschienen in:

Kapitel lesen Erstes Kapitel lesen

1994 | ReviewPaper | Buchkapitel

On the relation between the λμ-calculus and the syntactic theory of sequential control

verfasst von : Philippe de Groote

Erschienen in: Logic Programming and Automated Reasoning

Verlag: Springer Berlin Heidelberg

Enthalten in: Professional Book Archive

Zugang erhalten

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

We construct a translation of first order λΜ-calculus [15] into a subtheory of Felleisen's λ_c-calculus [5, 6]. This translation preserves typing and reduction. Then, by constructing the inverse translation, we show that the two calculi are actually isomorphic.

Vorheriges Kapitel Program tactics and logic tactics

Nächstes Kapitel On a proof-theoretical analysis of Σ 1 1 -AC, Σ 1 1 -DC and Δ 1 1 -CA

Titel: On the relation between the λμ-calculus and the syntactic theory of sequential control
verfasst von: Philippe de Groote
Verlag: Springer Berlin Heidelberg
Buch: Logic Programming and Automated Reasoning
Print ISBN: 978-3-540-58216-8

Electronic ISBN: 978-3-540-48573-5

Copyright-Jahr: 1994
DOI: https://doi.org/10.1007/3-540-58216-9_27

Springer Professional

Premium Partner