Characterisation of Approximation and (Head) Normalisation for $\lambda \mu$ using Strict Intersection Types

Steffen van Bakel

We study the strict type assignment for lambda-mu that is presented in [van Bakel'16]. We define a notion of approximants of lambda-mu-terms, show that it generates a semantics, an…