Formalized Recursive Functionals and Formalized Realizability
No ratings yet
Jan 1, 1969
·
English
·
Paperback
(106 pages)