Extracting Lisp Programs from Constructive Extracting Lisp Programs from Constructive Mathematics Based on Lisp

Susumu Hayashi

doi:10.2977/prims/1195182982

JournalsprimsVol. 19, No. 1pp. 169–191

Extracting Lisp Programs from Constructive Extracting Lisp Programs from Constructive Mathematics Based on Lisp

Susumu Hayashi
Graduate School of Pure and Applied Sciences, Ibaraki, Tsukuba, Japan
- MathSciNet
- zbMATH Open

Download PDF

Cite this article

Susumu Hayashi, Extracting Lisp Programs from Constructive Extracting Lisp Programs from Constructive Mathematics Based on Lisp. Publ. Res. Inst. Math. Sci. 19 (1983), no. 1, pp. 169–191

DOI 10.2977/PRIMS/1195182982