Lambda-definable functionals of finite types

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

S. Kleene Fundamenta Mathematicae 50 (1962), 281-303 DOI: 10.4064/fm-50-3-281-303