Extracting Lisp Programs from Constructive Extracting Lisp Programs from Constructive Mathematics Based on Lisp
Open Access
- 30 April 1983
- journal article
- Published by European Mathematical Society - EMS - Publishing House GmbH in Publications of the Research Institute for Mathematical Sciences
- Vol. 19 (1) , 169-191
- https://doi.org/10.2977/prims/1195182982
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: