Formalized recursive functionals and formalized realizability
Author:
- S. C. KleeneSKS. C. Kleene
- 1 January 1969
- journal article
- Published by American Mathematical Society (AMS) in Memoirs of the American Mathematical Society
- No. 89