THE PARADOX OF TREES IN TYPE THEORY

被引：2
|
作者：
COQUAND, T [1 ]
机构：
[1] INST NATL RECH INFORMAT & AUTOMAT,F-78153 LE CHESNAY,FRANCE
来源：
BIT | 1992年 / 32卷 / 01期
关键词：
D.2.1; D.2.4; D.3.1; F.3.1; F.3.3;
D O I：
10.1007/BF01995104
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We show how to represent a paradox similar to Russell's paradox in Type Theory with W-types and a type of all types, and how to use this in order to represent a fixed-point operator in such a theory. It is still open whether such a construction is possible without the W-type.
引用
收藏
页码：10 / 14
页数：5
相关论文
共 50 条
  • [1] A Mechanized Theory of Regular Trees in Dependent Type Theory
    Spadotti, Regis
    INTERACTIVE THEOREM PROVING, 2015, 9236 : 405 - 420
  • [2] On the spectral theory of trees with finite cone type
    Matthias Keller
    Daniel Lenz
    Simone Warzel
    Israel Journal of Mathematics, 2013, 194 : 107 - 135
  • [3] On the spectral theory of trees with finite cone type
    Keller, Matthias
    Lenz, Daniel
    Warzel, Simone
    ISRAEL JOURNAL OF MATHEMATICS, 2013, 194 (01) : 107 - 135
  • [4] Paradox theory and the paradox of success
    Pina e Cunha, Miguel
    Putnam, Linda L.
    STRATEGIC ORGANIZATION, 2019, 17 (01) : 95 - 106
  • [5] The Forest or the Trees? Tackling Simpson's Paradox with Classification Trees
    Shmueli, Galit
    Yahav, Inbal
    PRODUCTION AND OPERATIONS MANAGEMENT, 2018, 27 (04) : 696 - 716
  • [6] Iron chlorosis paradox in fruit trees
    Morales, F
    Grasa, R
    Abadía, A
    Abadía, J
    JOURNAL OF PLANT NUTRITION, 1998, 21 (04) : 815 - 825
  • [7] A Paradox in the Theory of Prediction
    Mohammadi, Mohammad
    Lindquist, W. Brent
    FLUCTUATION AND NOISE LETTERS, 2023,
  • [8] On Paradox: The Claims of Theory
    Elam, J. Daniel
    LAW & LITERATURE, 2024, 36 (03) : 569 - 571
  • [9] PARADOX IN THEORY OF DEMOCRACY
    GOLDSTICK, D
    PHILOSOPHY & PUBLIC AFFAIRS, 1975, 4 (02) : 195 - 197
  • [10] On Paradox: The Claims of Theory
    Bewes, Timothy
    Anker, Elizabeth S.
    AMERICAN LITERARY HISTORY, 2024, 36 (01) : 381 - 384
12345