Lambda-definable functionals of finite types

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

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