λμ-calculus and Bohm's theorem

被引：30
|
作者：
David, R [1 ]
Py, W [1 ]
机构：
[1] Math Lab, F-73376 Le Bourget Du Lac, France
来源：
JOURNAL OF SYMBOLIC LOGIC | 2001年 / 66卷 / 01期
关键词：
D O I：
10.2307/2694930
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
The lambda mu -calculus is an extension of the lambda -calculus that has been introduced by M Parigot to give an algorithmic content to classical proofs. We show that Bohm's theorem Fails in this calculus.
引用
收藏
页码：407 / 413
页数：7
相关论文
共 50 条
  • [21] Poisson's fundamental theorem of calculus via Taylor's formula
    Nystedt, P.
    INTERNATIONAL JOURNAL OF MATHEMATICAL EDUCATION IN SCIENCE AND TECHNOLOGY, 2020, 51 (05) : 799 - 805
  • [22] Ehrenfest's theorem and Bohm's quantum potential in a "one-dimensional box"
    Alonso, V
    De Vincenzo, S
    González-Díaz, L
    PHYSICS LETTERS A, 2001, 287 (1-2) : 23 - 30
  • [23] Nonlocality in Bell's Theorem, in Bohm's Theory, and in Many Interacting Worlds Theorising
    Ghadimi, Mojtaba
    Hall, Michael J. W.
    Wiseman, Howard M.
    ENTROPY, 2018, 20 (08):
  • [24] A lost theorem of calculus
    Loeb, PA
    MATHEMATICAL INTELLIGENCER, 2002, 24 (02): : 15 - 18
  • [25] Fundamental Theorem of Calculus
    Sobczyk, Garret
    Sanchez, Omar Leon
    ADVANCES IN APPLIED CLIFFORD ALGEBRAS, 2011, 21 (01) : 221 - 231
  • [26] A lost theorem of calculus
    Peter A. Loeb
    The Mathematical Intelligencer, 2002, 24 : 15 - 18
  • [27] The approximation theorem for the Λμ-calculus
    de' Liguoro, Ugo
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2017, 27 (05) : 560 - 580
  • [28] THEOREM IN PARTITION CALCULUS
    ERDOS, P
    MILNER, EC
    CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES, 1972, 15 (04): : 501 - 505
  • [29] Fundamental Theorem of Calculus
    Garret Sobczyk
    Omar León Sánchez
    Advances in Applied Clifford Algebras, 2011, 21 : 221 - 231
  • [30] Weak typed Bohm theorem on IMLL
    Matsuoka, Satoshi
    ANNALS OF PURE AND APPLIED LOGIC, 2007, 145 (01) : 37 - 90
12345