A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Standardization and Böhm Trees for Λμ-Calculus
[chapter]
2010
Lecture Notes in Computer Science
Λµ-calculus is an extension of Parigot's λµ-calculus which (i) satises Separation theorem: it is Böhm-complete, (ii) corresponds to CBN delimited control and (iii) is provided with a stream interpretation. In the present paper, we study solvability and investigate Böhm trees for Λµ-calculus. Moreover, we make clear the connections between Λµcalculus and innitary λ-calculi. After establishing a standardization theorem for Λµ-calculus, we characterize sovalbility in Λµ-calculus. Then, we study
doi:10.1007/978-3-642-12251-4_11
fatcat:niemqq2cf5aczbwgdvortwjoqa