NEW FOUNDATIONS FOR THE GEOMETRY OF INTERACTION

[1] DOMAIN THEORY IN LOGICAL FORM [J]. ANNALS OF PURE AND APPLIED LOGIC, 1991, 51 (1-2) : 1 - 77

[2] Abramsky S, 1990, RES TOPICS FUNCTIONA, P65

[3] ABRAMSKY S, 1990, THEORET COMPUT SCI, V111, P3

[4] ARVIND V, 1980, P INT C CIRCUITS COM

[5] BARENDREGT H, 1990, P ESOP 90

[6] BARENDREGT HP, 1984, LAMBDA CALCULUS

[7] Cohn P., 1981, ALGEBRA, V1

[8] DENNIS JB, 1974, LECTURE NOTES COMPUT, V19

[9] Girard J.Y., 1989, CATEGORIES COMPUTER, P69

[10] LINEAR LOGIC [J]. THEORETICAL COMPUTER SCIENCE, 1987, 50 (01) : 1 - 102

[1] DOMAIN THEORY IN LOGICAL FORM [J]. ANNALS OF PURE AND APPLIED LOGIC, 1991, 51 (1-2) : 1 - 77

[2] Abramsky S, 1990, RES TOPICS FUNCTIONA, P65

[3] ABRAMSKY S, 1990, THEORET COMPUT SCI, V111, P3

[4] ARVIND V, 1980, P INT C CIRCUITS COM

[5] BARENDREGT H, 1990, P ESOP 90

[6] BARENDREGT HP, 1984, LAMBDA CALCULUS

[7] Cohn P., 1981, ALGEBRA, V1

[8] DENNIS JB, 1974, LECTURE NOTES COMPUT, V19

[9] Girard J.Y., 1989, CATEGORIES COMPUTER, P69

[10] LINEAR LOGIC [J]. THEORETICAL COMPUTER SCIENCE, 1987, 50 (01) : 1 - 102