LAMBDA-CALCULUS MODELS AND EXTENSIONALITY

被引：58

作者：

HINDLEY, R

LONGO, G

机构：

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1980年 / 26卷 / 04期

关键词：

D O I：

10.1002/malq.19800261902

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：289 / 310

页数：22

共 20 条

[1]

BARENDREGT H, 1976, DEGREES REDUCTIONS R, V22

[2]

BARENDREGT H, 1977, HDB MATH LOG

[3]

BARENDREGT H, 1974, FUND MATH, V82, P199

[4]

BARENDREGT HP, 1973, INDAGATIONES MATH, V35, P203

[5]

BARENDREGT HP, 1971, THESIS U UTRECHT

[6]

Church A., 1940, J SYMBOLIC LOGIC, V5, P56, DOI 10.2307/2266170

[7]

Curry H.B., 1958, COMBINATORY LOGIC

[8] COMBINATORY REDUCTIONS AND LAMBDA-REDUCTIONS COMPARED [J].

HINDLEY, R .

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1977, 23 (02) :169-180

[9]

HINDLEY R, 1972, INTRO COMBINATORY LO

[10]

HYLAND M, 1976, J LOND MATH SOC, V12, P361