Formalized Recursive Functionals and Formalized Realizability
No ratings yet
1969
·
English
·
Paperback