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 条

[41] CONSTRUCTIVE THEORY OF RECOGNITION SYSTEM BASED ON DETECTING METRICAL INVARIANTS
SUZUKI, S
ELECTRONICS & COMMUNICATIONS IN JAPAN, 1972, 55 (08): : 92 - 99
[42] AN APPROACH TO MACHINE TRANSLATION METHOD BASED ON CONSTRUCTIVE PROCESS THEORY
IKEHARA, S
MIYAZAKI, M
SHIRAI, S
YOKOO, A
REVIEW OF THE ELECTRICAL COMMUNICATIONS LABORATORIES, 1989, 37 (01): : 39 - 44
[43] IN DEFENSE OF A CONSTRUCTIVE, INFORMATION-BASED APPROACH TO DECISION THEORY
M. R. YILMAZ
Theory and Decision, 1997, 43 : 21 - 44
[44] The semantics of realizability for the constructive set theory based on hyperarithmetical predicates
Konovalov A.Y.
Moscow University Mathematics Bulletin, 2017, 72 (3) : 129 - 132
[45] In defense of a constructive, information-based approach to decision theory
Yilmaz, MR
THEORY AND DECISION, 1997, 43 (01) : 21 - 44
[46] AUTOMATIC CONSTRUCTION OF LISP PROGRAMS BY TRANSFORMATIONS OF FUNCTIONS SYNTHESIZED FROM THEIR INPUT-OUTPUT BEHAVIOR.
Jouannaud, Jean Pierre
Kodratoff, Yves
International Journal of Policy Analysis and Information Systems, 1980, 4 (04): : 331 - 358
[47] SOME ASPECTS OF EFFECTIVELY CONSTRUCTIVE MATHEMATICS THAT ARE RELEVANT TO THE FOUNDATIONS OF NEOCLASSICAL MATHEMATICAL ECONOMICS AND THE THEORY OF GAMES
LEWIS, AA
MATHEMATICAL SOCIAL SCIENCES, 1992, 24 (2-3) : 209 - 235
[48] SOA-based Interactive Graduate Design System Constructive Programs Study
Gou Xue-rong
Qu Fang
Yan Jing-jing
2009 INTERNATIONAL CONFERENCE ON NEW TRENDS IN INFORMATION AND SERVICE SCIENCE (NISS 2009), VOLS 1 AND 2, 2009, : 439 - 443
[49] EXTRACTING F-OMEGA'S PROGRAMS FROM PROOFS IN THE CALCULUS OF CONSTRUCTIONS
PAULINMOHRING, C
CONFERENCE RECORD OF THE SIXTEENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 1989, : 89 - 104
[50] From Sets and Types to Topology and Analysis - Towards Practicable Foundations for Constructive Mathematics - Introduction
Crosilla, Laura
Schuster, Peter
FROM SETS AND TYPES TO TOPOLOGY AND ANALYSIS: TOWARDS PRACTICABLE FOUNDATIONS FOR CONSTRUCTIVE MATHEMATICS, 2005, 48 : 1 - 20

← 1 2 3 4 5 →