Recursive objects in all finite types

DOI10.4064/fm-54-1-73-93zbMath0196.01404OpenAlexW1604506695MaRDI QIDQ5592241

Andrzej Grzegorczyk

Publication date: 1964

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/213775

zbMATH Keywords

recursion theory, constructive mathematics

Related Items

Combinatory recursive objects of all finite types, Expressing computational complexity in constructive type theory, Pre-recursive categories, Spaces with combinators, A note on complexity measures for inductive classes in constructive type theory