S. Van-bakel, Complete restrictions of the intersection type discipline, Theoretical Computer Science, vol.102, issue.1, pp.135-1630304, 1992.
DOI : 10.1016/0304-3975(92)90297-S

H. Barendregt, M. Coppo, and M. Dezani-ciancaglini, A filter lambda model and the completeness of type assignment, The Journal of Symbolic Logic, vol.37, issue.04, pp.931-940, 1983.
DOI : 10.1002/malq.19800261902

T. Ehrhard, Finiteness spaces, Mathematical Structures in Computer Science, vol.15, issue.4, pp.615-646, 2005.
DOI : 10.1017/S0960129504004645
URL : https://hal.archives-ouvertes.fr/hal-00150276

T. Ehrhard, A Finiteness Structure on Resource Terms, 2010 25th Annual IEEE Symposium on Logic in Computer Science, pp.402-410, 2010.
DOI : 10.1109/LICS.2010.38
URL : https://hal.archives-ouvertes.fr/hal-00448431

T. Ehrhard and L. Regnier, The differential lambda-calculus, Theoretical Computer Science, vol.309, issue.1-3, pp.1-41, 2003.
DOI : 10.1016/S0304-3975(03)00392-X
URL : https://hal.archives-ouvertes.fr/hal-00150572

T. Ehrhard and L. Regnier, Böhm trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms, CiE. LNCS, pp.186-197, 2006.

T. Ehrhard and L. Regnier, Uniformity and the Taylor expansion of ordinary lambda-terms, Theoretical Computer Science, vol.403, issue.2-3, pp.347-372, 2008.
DOI : 10.1016/j.tcs.2008.06.001
URL : https://hal.archives-ouvertes.fr/hal-00150275

J. L. Krivine, Lambda-calculus, types and models, 1993.
URL : https://hal.archives-ouvertes.fr/cel-00574575

J. Laird, G. Manzonetto, G. Mccusker, and M. Pagani, Weighted Relational Models of Typed Lambda-Calculi, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, pp.25-28, 2013.
DOI : 10.1109/LICS.2013.36
URL : https://hal.archives-ouvertes.fr/hal-01144064

F. Lamarche, Quantitative domains and infinitary algebras, Theoretical Computer Science, vol.94, issue.1, pp.37-62, 1992.
DOI : 10.1016/0304-3975(92)90323-8

M. Pagani, The Cut-Elimination Thereom for Differential Nets with Boxes, Proceedings of the Ninth International Conference on Typed Lambda Calculi and Applications, pp.219-233, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00698974

M. Pagani, Visible acyclic differential nets, Part I: Semantics, Annals of Pure and Applied Logic, vol.163, issue.3, pp.238-265, 2012.
DOI : 10.1016/j.apal.2011.09.001
URL : https://hal.archives-ouvertes.fr/hal-00698973