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
Extracting Lisp Programs from Constructive Extracting Lisp Programs from Constructive Mathematics Based on Lisp cover
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