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 条

[61]

van Benthem J., 1986, ESSAYS LOGICAL SEMAN

[62]

van Benthem J, 1986, LOG ANAL, V29, P251

[63]

van Benthem Johan, 1987, MATH LOGIC ITS APPL, P39

[64]

VANBENTHEM J, 1988, IN PRESS ANN LORAND

[65]

VANBENTHEM J, 1988, PROPERTIES TYPES MEA, V1, P231

[66]

VANBENTHEM J, 1988, IN PRESS COMPUTATION

[67]

VANBENTHEM J, 1988, IN PRESS UNIFICATION

[68]

VANBENTHEM J, 1988, CATEGORIES POLYMORPH, P1

[69]

VANBENTHEM J, 1989, LANGUAGE ACTION

[70]

VANBENTHEM J, 1988, LOGIC C, P331