CATEGORICAL SEMANTICS FOR HIGHER-ORDER POLYMORPHIC-LAMBDA CALCULUS

被引：44

作者：

SEELY, RAG

机构：

来源：

关键词：

D O I：

10.2307/2273831

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：969 / 989

页数：21

共 24 条

[1] SEMANTICS FOR CLASSICAL AUTOMATH AND RELATED SYSTEMS [J].

BARENDREGT, H ;

REZUS, A .

INFORMATION AND CONTROL, 1983, 59 (1-3) :127-147

[2]

BRUCE KB, 1984, LECT NOTES COMPUT SC, V173, P131

[3]

BURSTALL RM, 1980, CSR6280 ED U COMP SC

[4]

Freyd P., 1972, B AUST MATH SOC, V7, P1, DOI [10.1017/S0004972700044828, DOI 10.1017/S0004972700044828]

[5]

Girard J.Y., 1973, LECT NOTES MATH, V337, P232

[6]

Girard Jean-Yves, 1972, THESIS U PARIS 7 PAR

[7] TRIPOS THEORY [J].

HYLAND, JME ;

JOHNSTONE, PT ;

PITTS, AM .

[8]

LAMARCHE F, 1985, UNPUB

[9]

LAMBEK J, 1986, CAMBRIDGE STUDIES AD, V7

[10]

MacLane S., 1971, CATEGORIES WORKING M, V5