NEW FOUNDATIONS FOR THE GEOMETRY OF INTERACTION

[11] GIRARD JY, 1988, SPECIAL ISSUE LOGIC

[12] GIRARDY JY, 1989, LOGIC C 88, V1

[13] INITIAL ALGEBRA SEMANTICS AND CONTINUOUS ALGEBRAS [J]. JOURNAL OF THE ACM, 1977, 24 (01) : 68 - 95

[14] GUESSARIAN I, 1981, LECTURE NOTES COMPUT, V99

[15] Kahn G., 1977, P IFIP C

[16] KAHN G, 1978, 336 IRIA LAB TECHN R

[17] Kahn G., 1974, INFORM PROCESSING, VI, P471

[18] MILNER R, 1990, LECT NOTES COMPUT SC, V443, P167, DOI 10.1007/BFb0032030

[19] MILNER R, 1989, CALCULUS MOBILE PROC

[20] Milner Robin, 1991, POLYADIC PI CALCULUS

[11] GIRARD JY, 1988, SPECIAL ISSUE LOGIC

[12] GIRARDY JY, 1989, LOGIC C 88, V1

[13] INITIAL ALGEBRA SEMANTICS AND CONTINUOUS ALGEBRAS [J]. JOURNAL OF THE ACM, 1977, 24 (01) : 68 - 95

[14] GUESSARIAN I, 1981, LECTURE NOTES COMPUT, V99

[15] Kahn G., 1977, P IFIP C

[16] KAHN G, 1978, 336 IRIA LAB TECHN R

[17] Kahn G., 1974, INFORM PROCESSING, VI, P471

[18] MILNER R, 1990, LECT NOTES COMPUT SC, V443, P167, DOI 10.1007/BFb0032030

[19] MILNER R, 1989, CALCULUS MOBILE PROC

[20] Milner Robin, 1991, POLYADIC PI CALCULUS