Nakahara, Hayao Proofs and programs: A naïve approach to program extraction. (English) Zbl 0698.68015 Publ. Res. Inst. Math. Sci. 25, No. 3, 415-489 (1989). Reviewer: A.P.Stolboushkin MSC: 68Q60 PDFBibTeX XMLCite \textit{H. Nakahara}, Publ. Res. Inst. Math. Sci. 25, No. 3, 415--489 (1989; Zbl 0698.68015) Full Text: DOI
Hayashi, Susumu Extracting Lisp programs from constructive proofs: A formal theory of constructive mathematics based on Lisp. (English) Zbl 0513.68022 Publ. Res. Inst. Math. Sci. 19, 169-191 (1983). MSC: 68Q65 03F99 68N01 PDFBibTeX XMLCite \textit{S. Hayashi}, Publ. Res. Inst. Math. Sci. 19, 169--191 (1983; Zbl 0513.68022) Full Text: DOI
Ono, Hiroakira A formal system of partial recursive functions. (English) Zbl 0309.02036 Publ. Res. Inst. Math. Sci., Kyoto Univ. 10, 271-291 (1974). MSC: 03D20 03B10 03B50 PDFBibTeX XMLCite \textit{H. Ono}, Publ. Res. Inst. Math. Sci. 10, 271--291 (1974; Zbl 0309.02036) Full Text: DOI