INITIAL ALGEBRA-SEMANTICS FOR LAMBDA CALCULI

被引：0

|

作者：

GRAY, JW

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 442卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：418 / 439

页数：22

相关论文

共 50 条

[1] INITIAL ALGEBRA-SEMANTICS AND CONCURRENCY
ZAMFIR, M
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 298 : 528 - 549
[2] GENERALIZATION OF FINAL ALGEBRA-SEMANTICS BY RELATIVIZATION
MOSS, LS
THATTE, SR
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 442 : 284 - 300
[3] INITIAL AND FINAL ALGEBRA-SEMANTICS FOR DATA TYPE SPECIFICATIONS - 2 CHARACTERIZATION THEOREMS
BERGSTRA, JA
TUCKER, JV
SIAM JOURNAL ON COMPUTING, 1983, 12 (02) : 366 - 387
[4] PROOF BY CONSISTENCY IN CONSTRUCTIVE SYSTEMS WITH FINAL ALGEBRA-SEMANTICS
LYSNE, O
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 632 : 276 - 290
[5] Piecewise initial algebra semantics
Rodenburg, P. H.
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 74 (01): : 1 - 31
[6] Initial algebra semantics is enough!
Johann, Patricia
Ghani, Neil
TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2007, 4583 : 207 - +
[7] DISTRIBUTIVE SEMANTICS FOR NONDETERMINISTIC TYPED LAMBDA-CALCULI
ASTESIANO, E
COSTA, G
THEORETICAL COMPUTER SCIENCE, 1984, 32 (1-2) : 121 - 156
[8] INITIAL ALGEBRA SEMANTICS AND CONTINUOUS ALGEBRAS
GOGUEN, JA
THATCHER, JW
WAGNER, EG
WRIGHT, JB
JOURNAL OF THE ACM, 1977, 24 (01) : 68 - 95
[9] OPERATIONAL AND DENOTATIONAL SEMANTICS FOR SOME UNTYPED LAMBDA-CALCULI
HONSELL, F
DELLAROCCA, SR
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (04) : 1066 - 1067
[10] Semantics of lambda calculi designed from intuitionistic linear logic
Roversi, L.
Bulletin of the European Association for Theoretical Computer Science, (56):

← 1 2 3 4 5 →