A CALCULUS OF CONSTRUCTIONS

被引：0

|

作者：

HUET, G

机构：

来源：

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

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：298 / 299

页数：2

相关论文

共 50 条

[31] Simple model construction for the calculus of constructions
Lect Notes Comput Sci, (249):
[32] On the role of type decorations in the calculus of inductive constructions
Barras, B
Grégoire, B
COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2005, 3634 : 151 - 166
[33] On basis constructions in finite element exterior calculus
Licht, Martin W.
ADVANCES IN COMPUTATIONAL MATHEMATICS, 2022, 48 (02)
[34] Coercive subtyping for the calculus of constructions (extended abstract)
Chen, G
ACM SIGPLAN NOTICES, 2003, 38 (01) : 150 - 159
[35] A New Elimination Rule for the Calculus of Inductive Constructions
Barras, Bruno
Corbineau, Pierre
Gregoire, Benjamin
Herbelin, Hugo
Sacchini, Jorge Luis
TYPES FOR PROOFS AND PROGRAMS, 2009, 5497 : 32 - +
[36] Inductive Types Deconstructed The Calculus of United Constructions
Monnier, Stefan
TYDE '19: PROCEEDINGS OF THE 4TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON TYPE-DRIVEN DEVELOPMENT, 2019, : 52 - 63
[37] On the proof theory of Coquand's calculus of constructions
Seldin, JP
ANNALS OF PURE AND APPLIED LOGIC, 1997, 83 (01) : 23 - 101
[38] THE EXTENDED CALCULUS OF CONSTRUCTIONS (ECC) WITH INDUCTIVE TYPES
ORE, CE
INFORMATION AND COMPUTATION, 1992, 99 (02) : 231 - 264
[39] Topological constructions in the o-graph calculus
Theis, FJ
MATHEMATISCHE NACHRICHTEN, 2002, 241 : 170 - 186
[40] On basis constructions in finite element exterior calculus
Martin W. Licht
Advances in Computational Mathematics, 2022, 48

← 1 2 3 4 5 →