P. Barendregt, The lambda-calculus, its syntax and semantics. Number 103 in Studies in Logic and the Foundations of Mathematics, 1984.

. Berline, From computation to foundations via functions and application: The ??-calculus and its webbed models, Theoretical Computer Science, vol.249, issue.1, pp.81-161, 2000.
DOI : 10.1016/S0304-3975(00)00057-8

. Böhm, Alcune proprietà delle forme ?-?-normali nel ?-K-calcolo, Pub. INAC, p.696, 1968.

. Breuvart, On the characterization of models of H*, Joint Meeting CSL-LICS '14, pp.1-2410, 2014.
DOI : 10.2168/LMCS-12(2:4)2016

T. Bucciarelli, G. Ehrhard, and . Manzonetto, Not Enough Points Is Enough, CSL'07, pp.298-312, 2007.
DOI : 10.1007/978-3-540-74915-8_24
URL : https://hal.archives-ouvertes.fr/hal-00148820

M. Coppo, M. Dezani, and . Zacchi, Type theories, normal forms, and D???-lambda-models, Information and Computation, vol.72, issue.2, pp.85-116, 1987.
DOI : 10.1016/0890-5401(87)90042-3

E. Dezani-ciancaglini and . Giovannetti, From B??hm's Theorem to Observational Equivalences, Electronic Notes in Theoretical Computer Science, vol.50, issue.2, pp.83-116, 2001.
DOI : 10.1016/S1571-0661(04)00167-7

L. Ehrhard and . 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

L. Ehrhard and . Regnier, B??hm Trees, Krivine???s Machine and the Taylor Expansion of Lambda-Terms, CiE, pp.186-197, 2006.
DOI : 10.1093/logcom/10.3.411

. Engeler, Algebras and combinators, Algebra Universalis, vol.13, issue.1, pp.389-392, 1981.
DOI : 10.1007/BF02483849

D. Gianantonio, G. Franco, and F. Honsell, Game Semantics for Untyped ??????-Calculus
DOI : 10.1007/3-540-48959-2_10

G. Hindley and . Longo, Lambda-Calculus Models and Extensionality, Zeitschrift f??r Mathematische Logik und Grundlagen der Mathematik, vol.5, issue.19-21, pp.289-310, 1980.
DOI : 10.1002/malq.19800261902

M. E. Hyland, A survey of some useful partial order relations on terms of the lambda calculus, Lambda-Calculus and Comp. Sci. Th, pp.83-95, 1975.
DOI : 10.1007/BFb0029520

M. E. Hyland, A syntactic characterization of the equality in some models for the ?calculus, J. London Math. Soc, vol.12, issue.23, pp.361-37076, 1975.

M. E. Hyland, M. Nagayama, J. Power, and G. Rosolini, A Category Theoretic Formulation for Engeler-style Models of the Untyped ??-Calculus, 16 J.-J. Lévy. Le lambda calcul -notes du cours, pp.43-57, 2005.
DOI : 10.1016/j.entcs.2006.04.024

A. Lusin and . Salibra, The lattice of ?-theories 18 G. Manzonetto. A general class of models of H, MFCS 2009, pp.373-394, 2004.

. Manzonetto, What is a categorical model of the differential and the resource ??-calculi?, Mathematical Structures in Computer Science, vol.6014, issue.03, pp.451-520, 2012.
DOI : 10.1017/S0960129504004645

D. Manzonetto and . Ruoppolo, Relational Graph Models, Taylor Expansion and Extensionality, Electronic Notes in Theoretical Computer Science, vol.308, pp.245-272, 2014.
DOI : 10.1016/j.entcs.2014.10.014
URL : https://hal.archives-ouvertes.fr/hal-01140878

H. Morris, Lambda calculus models of programming languages, 1968.

M. Paolini, S. Piccolo, and . Rocca, Essential and relational models, Mathematical Structures in Computer Science, vol.52, pp.10-1017, 2015.
DOI : 10.2307/2586625

R. Della-rocca and L. Paolini, The Parametric Lambda Calculus -A Metamodel for Computation. Texts in Theoretical Computer Science. An EATCS Series, 2004.

. Scott, Continuous lattices, Lecture Notes in Math, vol.274, pp.97-136, 1972.
DOI : 10.1007/BFb0073967

F. J. Severi and . De-vries, The infinitary lambda calculus of the infinite eta Böhm trees, Struct. Comp. Sci, 2016.

P. Wadsworth, The Relation between Computational and Denotational Properties for Scott???s ${\text{D}}_\infty $-Models of the Lambda-Calculus, SIAM Journal on Computing, vol.5, issue.3, pp.488-521, 1976.
DOI : 10.1137/0205036