λμ-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 条

[41] The infinitary lambda calculus of the infinite eta Bohm trees
Severi, Paula
De Vries, Fer-Jan
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2017, 27 (05) : 681 - 733
[42] MORE ON THE FUNDAMENTAL THEOREM OF CALCULUS
SWARTZ, C
THOMSON, BS
AMERICAN MATHEMATICAL MONTHLY, 1988, 95 (07): : 644 - 648
[43] THE MULTIDIMENSIONAL FUNDAMENTAL THEOREM OF CALCULUS
PFEFFER, WF
JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY SERIES A-PURE MATHEMATICS AND STATISTICS, 1987, 43 : 143 - 170
[44] A formalised theorem in the partition calculus
Paulson, Lawrence C.
ANNALS OF PURE AND APPLIED LOGIC, 2024, 175 (01)
[45] ON A FUNDAMENTAL THEOREM OF THE CALCULUS OF VARIATIONS
SERRIN, J
ACTA MATHEMATICA, 1959, 102 (1-2) : 1 - 22
[46] SPOOF OF FUNDAMENTAL THEOREM OF CALCULUS
EISENMAN, RL
AMERICAN MATHEMATICAL MONTHLY, 1961, 68 (04): : 371 - &
[47] Areas and the Fundamental Theorem of Calculus
Vajiac, A.
Vajiac, B.
INTERNATIONAL JOURNAL OF MATHEMATICAL EDUCATION IN SCIENCE AND TECHNOLOGY, 2008, 39 (08) : 1023 - 1036
[48] THEOREM OF LINDEBERG IN THE CALCULUS OF VARIATIONS
HESTENES, MR
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1946, 52 (05) : 427 - 427
[49] A NOTE ON THE FUNDAMENTAL THEOREM OF CALCULUS
YOSIDA, K
PROCEEDINGS OF THE JAPAN ACADEMY SERIES A-MATHEMATICAL SCIENCES, 1981, 57 (05) : 241 - 241
[50] AN ELEMENTARY PROOF OF A THEOREM IN CALCULUS
RICHMOND, DE
AMERICAN MATHEMATICAL MONTHLY, 1985, 92 (08): : 589 - 590

← 1 2 3 4 5 →