CONSTRUCTIONS - A HIGHER-ORDER PROOF SYSTEM FOR MECHANIZING MATHEMATICS

被引：0
|
作者：
COQUAND, T
HUET, G
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 203卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：151 / 184
页数：34
相关论文
共 50 条
  • [21] Higher-order intentionality and higher-order acquaintance
    Hellie, Benj
    [J]. PHILOSOPHICAL STUDIES, 2007, 134 (03) : 289 - 324
  • [22] An initial framework for the language of higher-order thinking mathematics practices
    Megan E. Staples
    Mary P. Truxaw
    [J]. Mathematics Education Research Journal, 2012, 24 (3) : 257 - 281
  • [23] HIGHER-ORDER THINKING SKILLS IN MATHEMATICS TEXTBOOKS - A RESEARCH SUMMARY
    NICELY, RF
    [J]. EDUCATION, 1991, 111 (04): : 456 - 460
  • [24] Characteristics of problems for developing higher-order thinking skills in mathematics
    Universitas Negeri Jakarta, Jakarta Timur, DKI Jakarta, Indonesia
    [J]. J. Phys. Conf. Ser., 1
  • [25] Proof-theoretic and higher-order extensions of logic programming
    Momigliano A.
    Ornaghi M.
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6125 : 254 - 270
  • [26] An initial framework for the language of higher-order thinking mathematics practices
    Staples, Megan E.
    Truxaw, Mary P.
    [J]. MATHEMATICS EDUCATION RESEARCH JOURNAL, 2012, 24 (03) : 257 - 281
  • [27] Higher-Order Skolem's Paradoxes and the Practice of Mathematics: a Note
    Hosseini, Davood
    Kimiagari, Mansooreh
    [J]. DISPUTATIO-INTERNATIONAL JOURNAL OF PHILOSOPHY, 2022, 14 (64): : 41 - 49
  • [28] A NEW CONVERGENCE PROOF FOR THE HIGHER-ORDER POWER METHOD AND GENERALIZATIONS
    Uschmajew, Andre
    [J]. PACIFIC JOURNAL OF OPTIMIZATION, 2015, 11 (02): : 309 - 321
  • [29] A type system for higher-order modules
    Dreyer, D
    Crary, K
    Harper, R
    [J]. ACM SIGPLAN NOTICES, 2003, 38 (01) : 236 - 249
  • [30] Higher-order reductions of the Mikhalev system
    Ferapontov, E. V.
    Novikov, V. S.
    Roustemoglou, I.
    [J]. LETTERS IN MATHEMATICAL PHYSICS, 2024, 114 (03)
12345