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

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