PROOFS AS PROCESSES

被引：56

作者：

ABRAMSKY, S

机构：

[1] Department of Computing, Imperial College, London, SW7 2BZ

来源：

关键词：

D O I：

10.1016/0304-3975(94)00103-0

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

[No abstract available]

引用

页码：5 / 9

页数：5

共 16 条

[1]

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

[2] COMPUTATIONAL INTERPRETATIONS OF LINEAR LOGIC [J].

ABRAMSKY, S .

[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].

ABRAMSKY, S ;

JAGADEESAN, R .

[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].

GIRARD, JY .

[9]

GIRARD JY, 1989, CAMBRIDGE TRACTS THE, V7

[10]

Hoare C.A.R., 1985, COMMUNICATING SEQUEN