A CALCULUS OF CONSTRUCTIONS

被引：0

|

作者：

HUET, G

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1987年 / 52卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：298 / 299

页数：2

相关论文

共 50 条

[1] THE CALCULUS OF CONSTRUCTIONS
COQUAND, T
HUET, G
INFORMATION AND COMPUTATION, 1988, 76 (2-3) : 95 - 120
[2] AXIOMATIZATION OF CALCULUS OF CONSTRUCTIONS
SUN, Y
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 613 : 108 - 130
[3] Extensionality in the calculus of constructions
Oury, N
THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2005, 3603 : 278 - 293
[4] On the formalization of the modal μ-calculus in the calculus of inductive constructions
Miculan, M
INFORMATION AND COMPUTATION, 2001, 164 (01) : 199 - 231
[5] Definitions by rewriting in the calculus of constructions
Blanqui, F
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2005, 15 (01) : 37 - 92
[6] A Calculus of Inductive Linear Constructions
Fu, Qiancheng
Xi, Hongwei
PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON TYPE-DRIVEN DEVELOPMENT, TYDE 2023, 2023, : 1 - 13
[7] Definitions by rewriting in the calculus of constructions
Blanqui, F
16TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2001, : 9 - 18
[8] Investigations on a Pedagogical Calculus of Constructions
Colson, Loic
Demange, Vincent
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2013, 19 (06) : 729 - 749
[9] Termination of rewriting in the Calculus of Constructions
Walukiewicz-Chrzaszcz, D
JOURNAL OF FUNCTIONAL PROGRAMMING, 2003, 13 : 339 - 414
[10] ECC, AN EXTENDED CALCULUS OF CONSTRUCTIONS
LUO, ZH
FOURTH ANNUAL SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 1989, : 386 - 395

← 1 2 3 4 5 →