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 条

[1] EXTRACTING LISP PROGRAMS FROM CONSTRUCTIVE PROOFS - A FORMAL THEORY OF CONSTRUCTIVE MATHEMATICS BASED ON LISP
HAYASHI, S
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 692 - 692
[2] A formal pattern language for refactoring of Lisp programs
Leitao, AM
SIXTH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 2002, : 186 - 192
[3] Extracting programs from constructive HOL proofs via IZF set-theoretic semantics
Constable, Robert
Moczydlowski, Wojciech
AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 162 - 176
[4] Extracting efficient exact real number computation from proofs in constructive type theory
Konecny, Michal
Park, Sewon
Thies, Holger
JOURNAL OF LOGIC AND COMPUTATION, 2024,
[5] EXTRACTING PROGRAMS FROM CONSTRUCTIVE HOL PROOFS VIA IZF SET-THEORETIC SEMANTICS
Constable, Robert L.
Moczydlowski, Wojciech
LOGICAL METHODS IN COMPUTER SCIENCE, 2008, 4 (03)
[6] Teaching Simple Constructive Proofs with Haskell Programs
Farrugia-Roberts, Matthew
Jeffries, Bryn
Sondergaard, Harald
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (363): : 54 - 73
[7] DIMENSIONAL THEORY AND CONSTRUCTIVE MATHEMATICS
DRAGO, A
LETTERE AL NUOVO CIMENTO, 1983, 37 (11): : 409 - 412
[8] Intuitionistic type theory: semantics of proofs and constructive theory
Bourdeau, M
DIALOGUE-CANADIAN PHILOSOPHICAL REVIEW, 1997, 36 (02) : 323 - 339
[9] Three-processor Lisp machine architecture based on statistical analysis of Common Lisp programs
Klaassen, Arno J., 1600, (24):
[10] COMPARING THE THEORY OF REPRESENTATIONS AND CONSTRUCTIVE MATHEMATICS
TROELSTRA, AS
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 382 - 395

← 1 2 3 4 5 →