S. Abramsky, Domain theory in logical form*, Annals of Pure and Applied Logic, vol.51, issue.1-2, pp.1-77, 1991.
DOI : 10.1016/0168-0072(91)90065-T

S. Abramsky and C. L. Ong, Full Abstraction in the Lazy Lambda Calculus, Information and Computation, vol.105, issue.2, pp.159-267, 1993.
DOI : 10.1006/inco.1993.1044

R. M. Amadio and P. Curien, Domains and Lambda-Calculi, volume 46 of Cambridge Tracts in Theoretical Computer Science, 1998.

H. P. Barendregt, The Lambda-Calculus, its syntax and semantics. Studies in Logic and the Foundation of Mathematics, 1984.

G. Boudol, Lambda-Calculi for (Strict) Parallel Functions, Information and Computation, vol.108, issue.1, pp.51-127, 1994.
DOI : 10.1006/inco.1994.1003
URL : https://hal.archives-ouvertes.fr/inria-00075174

G. Boudol, P. Curien, and C. Lavatelli, A semantics for lambda calculi with resources, Mathematical Structures in Computer Science, vol.9, issue.4, pp.437-482, 1999.
DOI : 10.1017/S0960129599002893

H. Cirstea and C. Kirchner, The rewriting calculus - part II, Logic Journal of IGPL, vol.9, issue.3, pp.427-498, 2001.
DOI : 10.1093/jigpal/9.3.377
URL : https://hal.archives-ouvertes.fr/inria-00100532

G. Faure, Structure et modèles de calcul de réécriture, Thèse de doctorat, 2007.

S. and M. Lane, Categories for the working mathematician. Graduate Texts in Mathematics, 1998.

E. Moggi, Computational lambda-calculus and monads, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, pp.14-23, 1989.
DOI : 10.1109/LICS.1989.39155
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.2787

E. Moggi, Notions of computation and monads. Information and Computation, pp.55-92, 1991.

G. D. Plotkin, A Powerdomain Construction, SIAM Journal on Computing, vol.5, issue.3, pp.452-487, 1976.
DOI : 10.1137/0205035

D. S. Scott, Lambda Calculus: Some Models, Some Philosophy, The Kleene Symposium, pp.223-265, 1980.
DOI : 10.1016/S0049-237X(08)71262-X

D. S. Scott, Relating theories of the ?-calculus, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pp.403-450, 1980.

D. Scott, Domains for denotational semantics, International Conference on Algebraic and Logic Programming -ICALP'82, pp.577-613, 1982.
DOI : 10.1007/BFb0012801

M. B. Smyth, Power domains, Journal of Computer and System Sciences, vol.16, issue.1, pp.23-36, 1978.
DOI : 10.1016/0022-0000(78)90048-X