1. Barbanera, F., Dezani-Ciancaglini, M., de’ Liguoro, U.: Intersection and Union Types: Syntax and Semantics. Information and Computation 119, 202–230 (1995)
2. LNAI;F. Blanqui,2006
3. Coquand, T., Spiwack, A.: A Proof of Strong Normalisation using Domain Theory. In: Proceedings of LiCS 2006, pp. 307–316. IEEE Computer Society, Los Alamitos (2006)
4. Curien, P.-L., Herbelin, H.: The Duality of Computation. In: Proceedings of ICFP 2000, pp. 233–243. ACM Press, New York (2000)
5. Dezani-Ciancaglini, M., de’ Liguoro, U., Piperno, P.: A Filter Model for Concurrent Lambda-Calculus. Siam Journal on Computing 27(5), 1376–1419 (1998)