FIXED-POINT THEOREMS AND SEMANTICS - A FOLK TALE

被引：58

作者：

LASSEZ, JL

NGUYEN, VL

SONENBERG, EA

机构：

来源：

关键词：

D O I：

10.1016/0020-0190(82)90065-5

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：112 / 116

页数：5

共 38 条

ABIAN, S ;

BROWN, AB .

CANADIAN JOURNAL OF MATHEMATICS, 1961, 13 (01) :78-&

[2]

[Anonymous], 1940, LATTICE THEORY

[3]

APT KR, 1981, COOKS TOUR COUNTABLE

[4]

BIRD R, 1976, PROGRAMS MACHINES

[5]

BOURBAKI N, 1950, ARCH MATH, P434

[6]

Bourbaki N., 1968, ELEMENTS MATH THEORY

[7]

BRADY JM, 1977, THEORY COMPUTER SCI

[8]

BROY M, 1981, 2ND INT C DISTR COMP

[9]

CADIOU JM, 1972, THESIS STANFORD U

[10]

Campbell P.J., 1978, HIST MATH, V5, P77