. Semantics of Higher-Order Functional Programming
Petros Barbagiannis · 2014
ion [ι : θ] P : θ′ λι : θ.P : θ → θ′ Example: (λn : val[nat].n +m) (3) The semantic equation for the lambda expression is: [[λι : θ.P]](u) = f ∈ [[θ]] → [[θ′]] where f (a) = [[P]](u|ι 7→ a) for all a ∈ [[θ]]. Petros Barbagiannis Semantics of Higher-Order Functional Programming July 14, 2014 8 / 18