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
![Extracting Lisp Programs from Constructive Extracting Lisp Programs from Constructive Mathematics Based on Lisp cover](/_next/image?url=https%3A%2F%2Fcontent.ems.press%2Fassets%2Fpublic%2Fimages%2Fserial-issues%2Fcover-prims-volume-19-issue-1.png&w=3840&q=90)
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