Conference Proceedings

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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1994) 822 LNAI 31-43
DOI: 10.1007/3-540-58216-9_27
56Citations
Citations of this article
6Readers
Mendeley users who have this article in their library.
Get full text

Abstract

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.

Cite

CITATION STYLE

APA

de Groote, P. (1994). On the relation between the λµ-calculus and the syntactic theory of sequential control. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 822 LNAI, pp. 31–43). Springer Verlag. https://doi.org/10.1007/3-540-58216-9_27

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free