A CALCULUS OF CONSTRUCTIONS

被引：0
|
作者：
HUET, G
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1987年 / 52卷 / 01期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：298 / 299
页数：2
相关论文
共 50 条
  • [21] INDUCTIVELY DEFINED TYPES IN THE CALCULUS OF CONSTRUCTIONS
    PFENNING, F
    PAULINMOHRING, C
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 442 : 209 - 228
  • [22] Extensional set equality in the calculus of constructions
    Seldin, JP
    JOURNAL OF LOGIC AND COMPUTATION, 2001, 11 (03) : 483 - 493
  • [23] A compact kernel for the calculus of inductive constructions
    A. Asperti
    W. Ricciotti
    C. Sacerdoti Coen
    E. Tassi
    Sadhana, 2009, 34 : 71 - 144
  • [24] Consistency and completeness of rewriting in the calculus of constructions
    Walukiewicz-Chrzaszcz, Daria
    Chrzaszcz, Jacek
    AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 619 - 631
  • [25] Classical program extraction in the calculus of constructions
    Miquel, Alexandre
    Computer Science Logic, Proceedings, 2007, 4646 : 313 - 327
  • [26] CONSISTENCY AND COMPLETENESS OF REWRITING IN THE CALCULUS OF CONSTRUCTIONS
    Walukiewicz-Chrzaszcz, Daria
    Chrzaszcz, Jacek
    LOGICAL METHODS IN COMPUTER SCIENCE, 2008, 4 (03)
  • [27] A compact kernel for the calculus of inductive constructions
    Asperti, A.
    Ricciotti, W.
    Coen, C. Sacerdoti
    Tassi, E.
    SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 2009, 34 (01): : 71 - 144
  • [28] A simple model construction for the Calculus of Constructions
    Stefanova, M
    Geuvers, H
    TYPES FOR PROOFS AND PROGRAMS, 1996, 1158 : 249 - 264
  • [29] Simple model construction for the calculus of constructions
    Lect Notes Comput Sci, (249):
  • [30] Inductive types in the calculus of algebraic constructions
    Blanqui, F
    FUNDAMENTA INFORMATICAE, 2005, 65 (1-2) : 61 - 86
12345