Dynamic Semantics in Direct Style

1 Call-by-value λμ-calculus The call-by-value λμ-calculus (λμV , de Groote, 2008) is an extension of typed λ-calculus, adapted from the λμ-calculus of Parigot (1992). λμV differs from Parigot’s calculus in that: • The notion of a class of terms called values is introduced (see Definition 2). These terms are treated specially with respect to certain… CONTINUE READING