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

[1] Bohm theorem and Bohm trees for the Λμ-calculus
Saurin, Alexis
THEORETICAL COMPUTER SCIENCE, 2012, 435 : 106 - 138
[2] The untyped stack calculus and Bohm's theorem
Carraro, Alberto
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (113): : 77 - 92
[3] Bohm's Theorem for Resource Lambda Calculus through Taylor Expansion
Manzonetto, Giulio
Pagani, Michele
TYPED LAMBDA CALCULI AND APPLICATIONS, (TLCA 2011), 2011, 6690 : 153 - 168
[4] Strong Typed Bohm Theorem and Functional Completeness on the Linear Lambda Calculus
Matsuoka, Satoshi
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (207): : 1 - 22
[5] MASSERA'S THEOREM IN QUANTUM CALCULUS
Bohner, Martin
Mesquita, Jaqueline G.
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2018, 146 (11) : 4755 - 4766
[6] Taylor's theorem in the tensor calculus
Ruse, HS
PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 1931, 32 : 87 - 92
[7] Standardization and Bohm Trees for Λμ-Calculus
Saurin, Alexis
FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2010, 6009 : 134 - 149
[8] AN ANALYSIS OF BOHM THEOREM
HUET, G
THEORETICAL COMPUTER SCIENCE, 1993, 121 (1-2) : 145 - 167
[9] On Mac Laurin's theorem in the Functional Calculus
Bockwinkel, HBA
PROCEEDINGS OF THE KONINKLIJKE AKADEMIE VAN WETENSCHAPPEN TE AMSTERDAM, 1920, 22 (1/5): : 2 - 5
[10] Kneser's theorem in q-calculus
Bohner, M
Ünal, M
JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 2005, 38 (30): : 6729 - 6739

← 1 2 3 4 5 →