@article(Bakel-TCS'92,
 author       = {S. van Bakel},
 year         = {1992},
 title        = {{Complete restrictions of the Intersection Type Discipline}},
 journal      = {Theoretical Computer Science},
 volume       = {102},
 number       = {1},
 pages        = {135--163},
 doi          = {10.1016/0304-3975(92)90297-S},
)
@article(Bakel-TCS'95,
 author       = {S. van Bakel},
 year         = {1995},
 title        = {{Intersection Type Assignment Systems}},
 journal      = {Theoretical Computer Science},
 volume       = {151},
 number       = {2},
 pages        = {385--435},
 doi          = {10.1016/0304-3975(95)00073-6},
)
@article(Bakel-NDJFL'04,
 author       = {S. van Bakel},
 year         = {2004},
 title        = {{Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalising}},
 journal      = {Notre Dame journal of Formal Logic},
 volume       = {45},
 number       = {1},
 pages        = {35--63},
 doi          = {10.1305/ndjfl/1094155278},
)
@article(Bakel-TCS'08,
 author       = {S. van Bakel},
 year         = {2008},
 title        = {{The Heart of Intersection Type Assignment; Normalisation proofs revisited}},
 journal      = {Theoretical Computer Science},
 volume       = {398},
 pages        = {82--94},
 doi          = {10.1016/j.tcs.2008.01.020},
)
@inproceedings(Bakel-ITRS'10,
 author       = {S. van Bakel},
 year         = {2010},
 title        = {{Sound and Complete Typing for $\lambda\mu $}},
 booktitle    = {Proceedings of 5th International Workshop {\em Intersection Types and Related Systems} (ITRS'10), Edinburgh, Scotland},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {45},
 pages        = {31--44},
 doi          = {10.4204/EPTCS.45.3},
)
@article(Bakel-ACM'11,
 author       = {S. van Bakel},
 year         = {2011},
 title        = {{Strict intersection types for the Lambda Calculus}},
 journal      = {ACM Computing Surveys},
 volume       = {43},
 pages        = {20:1--20:49},
 doi          = {10.1145/1922649.1922657},
)
@unpublished(Bakel-FSCD'16,
 author       = {S. van Bakel},
 year         = {2016},
 title        = {{Approximation and (Head) Normalisation for $\lambda\mu $ using Strict Intersection Types}},
 url          = {http://www.doc.ic.ac.uk/~svb/Research/Papers/Lmu-Strict.pdf},
)
@inproceedings(Bakel-Barbanera-Liguoro-TLCA'11,
 author       = {S. van Bakel and F. Barbanera and U. de'Liguoro},
 year         = {2011},
 title        = {{A Filter Model for $\lambda\mu $}},
 editor       = {L. Ong},
 booktitle    = {{Proceedings of \emph{10th International Conference on Typed Lambda Calculi and Applications} (TLCA'11)}},
 series       = {Lecture Notes in Computer Science},
 volume       = {6690},
 publisher    = {Springer Verlag},
 pages        = {213--228},
 doi          = {10.1007/978-3-642-21691-6\_18},
)
@inproceedings(BakBdL-ITRS12,
 author       = {S. van Bakel and F. Barbanera and U. de'Liguoro},
 year         = {2012},
 title        = {{Characterisation of Strongly Normalising $\lambda\mu $-Terms}},
 booktitle    = {Proceedings of 6th International Workshop {\em Intersection Types and Related Systems} (ITRS'12), Dubrovnik, Croatia, June 29th},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {121},
 pages        = {31--44},
 doi          = {10.4204/EPTCS.121.1},
)
@article(Bakel-Barbanera-Liguoro-LMCS'15,
 author       = {S. van Bakel and F. Barbanera and U. de'Liguoro},
 year         = {2015},
 title        = {{Intersection types for $\lambda\mu $}},
 journal      = {Logical Methods in Computer Science},
 note         = {To appear},
)
@inproceedings(Bakel-Vigliotti-CLaC'14,
 author       = {S. van Bakel and {M.G.} Vigliotti},
 year         = {2014},
 title        = {A fully abstract semantics of $\lambda\mu $ in the $\pi$-calculus},
 booktitle    = {Proceedings of Sixth International Workshop on Classical Logic and Computation 2014 {\rm (CL\&C'14)}, Vienna, Austria},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {164},
 pages        = {33--47},
 doi          = {10.4204/EPTCS.164.3},
)
@book(Barendregt'84,
 author       = {H. Barendregt},
 year         = {1984},
 title        = {{The Lambda Calculus: its Syntax and Semantics}},
 edition      = {revised},
 publisher    = {North-Holland},
 address      = {Amsterdam},
 doi          = {10.2307/2274112},
)
@article(BCD'83,
 author       = {H. Barendregt and M. Coppo and {Dezani-Ciancaglini}, M.},
 year         = {1983},
 title        = {{A filter lambda model and the completeness of type assignment}},
 journal      = {Journal of Symbolic Logic},
 volume       = {48},
 number       = {4},
 pages        = {931--940},
 doi          = {10.2307/2273659},
)
@article(Bohm'68,
 author       = {C. B{\"o}hm},
 year         = {1968},
 title        = {{Alcune propiet\'a delle forme $\beta\eta $-normali nel $\lambda k$-calcolo}},
 journal      = {Pubblicazioni 696, Instituto Nazionale per le Applicazioni del Calcolo. Roma},
)
@article(Church'36,
 author       = {A. Church},
 year         = {1936},
 title        = {{A Note on the Entscheidungsproblem}},
 journal      = {Journal of Symbolic Logic},
 volume       = {1},
 number       = {1},
 pages        = {40--41},
 doi          = {10.2307/2269326},
)
@book(Curry-Feys'58,
 author       = {H.B. Curry and R. Feys},
 year         = {1958},
 title        = {{Combinatory Logic}},
 volume       = {1},
 publisher    = {North-Holland},
 address      = {Amsterdam},
)
@inproceedings(deGroote'94,
 author       = {Ph. de Groote},
 year         = {1994},
 title        = {{On the Relation between the $\lambda\mu $-Calculus and the Syntactic Theory of Sequential Control}},
 booktitle    = {Proceedings of 5th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'94)},
 series       = {Lecture Notes in Computer Science},
 volume       = {822},
 publisher    = {Springer Verlag},
 pages        = {31--43},
 doi          = {10.1007/3-540-58216-9\_27},
)
@article(deLiguoro'16,
 author       = {U. de'\kern.5pt Liguoro},
 year         = {2016},
 title        = {{The Approximation Theorem for the $\Lambda\mu $-Calculus}},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {FirstView},
 pages        = {1--21},
 doi          = {10.1017/S0960129515000286},
)
@inproceedings(Parigot'92,
 author       = {M. Parigot},
 year         = {1992},
 title        = {{An algorithmic interpretation of classical natural deduction}},
 booktitle    = {Proceedings of 3rd International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'92)},
 series       = {Lecture Notes in Computer Science},
 volume       = {624},
 publisher    = {Springer Verlag},
 pages        = {190--201},
 doi          = {10.1007/BFb0013061},
)
@phdthesis(Py-PhD'98,
 author       = {W. Py},
 year         = {1998},
 title        = {{Confluence en $\lambda\mu $-calcul}},
 type         = {Th\`ese de doctorat},
 school       = {Universit\'e de Savoie},
)
@article(Ronchi-Venneri'84,
 author       = {{Ronchi Della Rocca}, S. and B. Venneri},
 year         = {1984},
 title        = {{Principal type schemes for an extended type theory}},
 journal      = {Theoretical Computer Science},
 volume       = {28},
 pages        = {151--169},
 doi          = {10.1016/0304-3975(83)90069-5},
)
@inproceedings(Saurin'10,
 author       = {A. Saurin},
 year         = {2010},
 title        = {{Standardization and B{\"o}hm Trees for $\lambda\mu $-calculus}},
 editor       = {M. Blume and N. Kobayashi and G. Vidal},
 booktitle    = {Functional and Logic Programming, 10th International Symposium, (FLOPS'10), Sendai, Japan},
 series       = {Lecture Notes in Computer Science},
 volume       = {6009},
 publisher    = {Springer Verlag},
 pages        = {134--149},
 doi          = {10.1007/978-3-642-12251-4\_11},
)
@article(Streicher-Reus'98,
 author       = {Th. Streicher and B. Reus},
 year         = {1998},
 title        = {{Classical logic: Continuation Semantics and Abstract Machines}},
 journal      = {Journal of Functional Programming},
 volume       = {11},
 number       = {6},
 pages        = {543--572},
 doi          = {10.1007/BFb0026995},
)
@article(Wadsworth'76,
 author       = {C.P. Wadsworth},
 year         = {1976},
 title        = {{The Relation Between Computational and Denotational Properties for Scott's D$_{\infty}$-Models of the Lambda-Calculus}},
 journal      = {SIAM Journal on Computing},
 volume       = {5},
 number       = {3},
 pages        = {488--521},
 doi          = {10.1137/0205036},
)