TY  - RPRT
TI  - Intersection Types for the lambda-mu Calculus
AU  - Steffen van Bakel
AU  - Franco Barbanera
AU  - Ugo de'Liguoro
PY  - 2018
DO  - 10.23638/lmcs-14(1:2)2018
UR  - https://arxiv.org/abs/1704.00272
ID  - 1704.00272
ER  -