EXTRACTING LISP PROGRAMS FROM CONSTRUCTIVE PROOFS - A FORMAL THEORY OF CONSTRUCTIVE MATHEMATICS BASED ON LISP

被引：2

作者：

HAYASHI, S ^{[1
]}

机构：

[1] UNIV TSUKUBA,INST MATH,SAKURA,IBARAKI 30031,JAPAN

来源：

PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES | 1983年 / 19卷 / 01期

关键词：

D O I：

10.2977/prims/1195182982

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：169 / 191

页数：23

共 50 条

[21] A CONSTRUCTIVE MODEL OF CLASSICAL FORMAL NUMBER-THEORY
NAGORNY, NM
DOKLADY AKADEMII NAUK, 1993, 332 (01) : 26 - 28
[22] PROOF-THEORETIC STRENGTH OF SOME FORMAL SYSTEMS FOR CONSTRUCTIVE MATHEMATICS
SIEG, W
JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (03) : 480 - 480
[23] A constructive response to `Where mathematics comes from'
N. Sinclair
M. Schiralli
Educational Studies in Mathematics, 2003, 52 (1) : 79 - 91
[24] DUALITY THEORY OF LINEAR PROGRAMS . A CONSTRUCTIVE APPROACH WITH APPLICATIONS
BALINSKI, ML
TUCKER, AW
SIAM REVIEW, 1969, 11 (03) : 347 - &
[25] On the foundations of constructive mathematics - Especially in relation to the theory of continuous functions
Waaldijk F.
Foundations of Science, 2005, 10 (3) : 249 - 324
[26] Strongly uniform bounds from semi-constructive proofs
Gerhardy, Philipp
Kohlenbach, Ulrich
ANNALS OF PURE AND APPLIED LOGIC, 2006, 141 (1-2) : 89 - 107
[27] Formal topology and constructive mathematics: The Gelfand and Stone-Yosida representation theorems
Coquand, T
Spitters, B
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2005, 11 (12) : 1932 - 1944
[28] Extracting total Amb programs from proofs
Berger, Ulrich
Tsuiki, Hideki
PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2022, 2022, 13240 : 85 - 113
[29] CONSTRUCTIVE MATHEMATICS AS A PROGRAMMING LOGIC .1. SOME PRINCIPLES OF THEORY
CONSTABLE, RL
LECTURE NOTES IN COMPUTER SCIENCE, 1983, 158 : 64 - 77
[30] Ambiguity Resolution of Radio Measurements Using the Mathematics of the Constructive Theory of Finite Fields
S. S. Kukushkin
Measurement Techniques, 2016, 59 : 671 - 677

← 1 2 3 4 5 →