A SELECTED BIBLIOGRAPHY ON CONSTRUCTIVE MATHEMATICS, INTUITIONISTIC TYPE THEORY AND HIGHER-ORDER DEDUCTION

被引：0
|
作者：
COQUAND, T [1 ]
HUET, G [1 ]
机构：
[1] INST NATL RECH INFORMAT & AUTOMAT,F-78150 ROCQUENCOURT,FRANCE
来源：
JOURNAL OF SYMBOLIC COMPUTATION | 1985年 / 1卷 / 03期
关键词：
D O I：
10.1016/S0747-7171(85)80040-7
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：323 / 328
页数：6
相关论文
共 50 条
  • [1] Constructive Matrix Theory for Higher-Order Interaction
    Krajewski, Thomas
    Rivasseau, Vincent
    Sazonov, Vasily
    [J]. ANNALES HENRI POINCARE, 2019, 20 (12): : 3997 - 4032
  • [2] Constructive Matrix Theory for Higher-Order Interaction
    Thomas Krajewski
    Vincent Rivasseau
    Vasily Sazonov
    [J]. Annales Henri Poincaré, 2019, 20 : 3997 - 4032
  • [3] NATURAL DEDUCTION AS HIGHER-ORDER RESOLUTION
    PAULSON, LC
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (03): : 237 - 258
  • [4] Bibliography on higher-order statistics
    Swami, A
    Giannakis, GB
    Zhou, GT
    [J]. SIGNAL PROCESSING, 1997, 60 (01) : 65 - 126
  • [5] ON THE ADEQUACY OF REPRESENTING HIGHER-ORDER INTUITIONISTIC LOGIC AS A PURE TYPE SYSTEM
    TONINO, H
    FUJITA, K
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 1992, 57 (03) : 251 - 276
  • [6] A Theory of Higher-Order Subtyping with Type Intervals
    Stucki, Sandro
    Giarrusso, Paolo G.
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5
  • [7] Intuitionistic type theory: semantics of proofs and constructive theory
    Bourdeau, M
    [J]. DIALOGUE-CANADIAN PHILOSOPHICAL REVIEW, 1997, 36 (02) : 323 - 339
  • [8] A bibliography of higher-order spectra and cumulants
    Delaney, Pamela A.
    Walsh, David O.
    [J]. IEEE SIGNAL PROCESSING MAGAZINE, 1994, 11 (03) : 61 - 70
  • [9] Mass problems and intuitionistic higher-order logic
    Basu, Sankha S.
    Simpson, Stephen G.
    [J]. COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2016, 5 (01): : 29 - 47
  • [10] A CONSISTENT HIGHER-ORDER THEORY WITHOUT A (HIGHER-ORDER) MODEL
    FORSTER, T
    [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (05): : 385 - 386
12345