论文信息 - Deductive Program Synthesis and Markov's Principle - 字舞流文

Deductive Program Synthesis and Markov's Principle

Andrei Voronkov | A. Voronkov

[1] Robert L. Constable,et al. Programs as Proofs: A Synopsis , 1982, Inf. Process. Lett..

[2] Jon Barwise,et al. Admissible sets and structures , 1975 .

[3] P. Martin-Löf. An Intuitionistic Theory of Types: Predicative Part , 1975 .

[4] Leo F. Boron,et al. Algorithms and recursive functions , 1970 .

[5] Masamichi Hagiya. A Proof Description Language and Its Reduction System , 1983 .