CATEGORIAL GRAMMAR AND TYPE THEORY

被引：4

作者：

VANBENTHEM, J

机构：

[1] Faculty of Mathematics and Computer Science, University of Amsterdam, Amsterdam, 1018 TV

来源：

关键词：

D O I：

10.1007/BF00263539

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

[No abstract available]

引用

页码：115 / 168

页数：54

共 77 条

[51]

Partee, 1983, MEANING USE INTERPRE, P361, DOI DOI 10.1515/9783110852820.361

[52]

PLOTKIN GD, 1980, CURRY ESSAYS COMBINA, P363

[53]

ROSNER M, 1988, IN PRESS COMPUTATION

[54]

SELDIN JP, 1980, HB CURRY ESSAYS COMB

[55]

SKORDEV D, 1987, MATH LOGIC ITS APPLI

[56] DEPENDENCY AND COORDINATION IN THE GRAMMAR OF DUTCH AND ENGLISH [J].

STEEDMAN, M .

[57]

SZABOLCSI A, 1987, IN PRESS MEANING CON

[58]

TRAKHTENBROT B, 1987, MATH LOGIC ITS APPL, P213

[59]

USZKOREIT H, 1986, 11TH P INT C COMP LI, P187

[60]

van Benthem J., 1989, Notre Dame Journal of Formal Logic, V30, P315, DOI 10.1305/ndjfl/1093635152