@Inproceedings{EPTCS242.4, author = {van Bakel, Steffen}, year = {2017}, title = {Characterisation of Approximation and (Head) Normalisation for $\lambda\mu$ using Strict Intersection Types}, editor = {Kobayashi, Naoki}, booktitle = {{\rm Proceedings Eighth Workshop on} Intersection Types and Related Systems, {\rm Porto, Portugal, 26th June 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {242}, publisher = {Open Publishing Association}, pages = {20-30}, doi = {10.4204/EPTCS.242.4}, }