PROOFS AS PROCESSES

[1] Abramsky, 1993, THEORY FORMAL METHOD, P57, DOI 10.1007/978-1-4471-3503-6_5

[2] COMPUTATIONAL INTERPRETATIONS OF LINEAR LOGIC [J]. THEORETICAL COMPUTER SCIENCE, 1993, 111 (1-2) : 3 - 57

[3] ABRAMSKY S, 1992, PROCEEDINGS OF THE SEVENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, P211, DOI 10.1109/LICS.1992.185534

[4] NEW FOUNDATIONS FOR THE GEOMETRY OF INTERACTION [J]. INFORMATION AND COMPUTATION, 1994, 111 (01) : 53 - 119

[5] ABRAMSKY S, 1994, CLASSICAL MIND ESSAY, P1

[6] BREAZUTANNEN V, 1991, B EUROPEAN ASS THEOR, P295

[7] COQUAND T, 1992, SEMANTICS EVIDENCE C

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

[9] GIRARD JY, 1989, CAMBRIDGE TRACTS THE, V7

[10] Hoare C.A.R., 1985, COMMUNICATING SEQUEN

[1] Abramsky, 1993, THEORY FORMAL METHOD, P57, DOI 10.1007/978-1-4471-3503-6_5

[2] COMPUTATIONAL INTERPRETATIONS OF LINEAR LOGIC [J]. THEORETICAL COMPUTER SCIENCE, 1993, 111 (1-2) : 3 - 57

[3] ABRAMSKY S, 1992, PROCEEDINGS OF THE SEVENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, P211, DOI 10.1109/LICS.1992.185534

[4] NEW FOUNDATIONS FOR THE GEOMETRY OF INTERACTION [J]. INFORMATION AND COMPUTATION, 1994, 111 (01) : 53 - 119

[5] ABRAMSKY S, 1994, CLASSICAL MIND ESSAY, P1

[6] BREAZUTANNEN V, 1991, B EUROPEAN ASS THEOR, P295

[7] COQUAND T, 1992, SEMANTICS EVIDENCE C

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

[9] GIRARD JY, 1989, CAMBRIDGE TRACTS THE, V7

[10] Hoare C.A.R., 1985, COMMUNICATING SEQUEN