M. Soit, Alors M et N sontéquivalentssontéquivalents observationnellement, noté M ? N, ssi pour tout contexte C[?] tel que C[M] et C[N] sont clos et sans emplacement mémoire libre suffisè a s'assurer que, Définition, vol.4

. Abramsky, V 2 in M pour new x := V 1 in ( new y := V 2 in M) De la mêmemanì ere, ´ etant donné unétatunétat de la mémoire ?, on note new ? in M le terme new x 1 := ?(x 1 ), . . . , x n := ?(x n ) in M o` u les x i parcourent lesétatslesétats interprétés par ?. Dans la lignée des preuves de correction en sémantique des jeux, Pour alléger la notation dans ce qui suit nous décomposons la preuve de correctionéquationnellecorrectionéquationnelle en deuxétapesdeuxétapes : correction et adéquation. 42 Conclusion et travaux futurs, 1998.

S. Bibliographie-[-abramsky-]-abramsky, Retracing some paths in process algebra, Lecture Notes in Computer Science, vol.1119, pp.1-17, 1996.
DOI : 10.1007/3-540-61604-7_44

C. Abramsky, S. Abramsky, and B. Coecke, A categorical semantics of quantum protocols, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004., pp.415-425, 2004.
DOI : 10.1109/LICS.2004.1319636

. Abramsky, Geometry of Interaction and linear combinatory algebras, Mathematical Structures in Computer Science, vol.12, issue.05, pp.625-665, 2002.
DOI : 10.1017/S0960129502003730

. Abramsky, A fully abstract game semantics for general references, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226), 1998.
DOI : 10.1109/LICS.1998.705669

B. Day, B. Day, and S. R. , Kan extensions along promonoidal functors, Theory and applications of categories, vol.1, issue.4, pp.72-77, 1995.

E. J. Dubuc, Free monoids, Journal of Algebra, vol.29, issue.2, pp.208-228, 1974.
DOI : 10.1016/0021-8693(74)90095-7

J. Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966

E. Goubault, Geometry and concurrency: a user's guide, Mathematical Structures in Computer Science, vol.10, issue.4, 2000.
DOI : 10.1017/S0960129500003133

M. Hasegawa, The uniformity principle on traced monoidal categories, Electr. Notes Theor. Comput. Sci, vol.69, 2002.

A. Joyal, Remarques sur la théorie des jeuxàjeuxà deux personnes, Gazette des Sciences Mathématiques du Québec, vol.1, issue.4, pp.46-52, 1977.

G. Kelly, Basic Concepts of Enriched Category Theory, Lecture Notes in Mathematics, vol.64, 1982.

[. Lane and S. , Categories for the working mathematician, 1971.
DOI : 10.1007/978-1-4612-9839-7