The First Recursion Theorem for Iterative Combinatory Spaces

DOI10.1002/malq.19790250308zbMath0412.03032OpenAlexW2084740827MaRDI QIDQ4198499

Dimiter Skordev

Publication date: 1979

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19790250308

zbMATH Keywords

recursive proceduresrecursivenessprogramming theoryfirst recursion theoremiterative combinatory space

Mathematics Subject Classification ID

Theory of software (68N99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (2)

Unnamed Item ⋮ Spaces with combinators

This page was built for publication: The First Recursion Theorem for Iterative Combinatory Spaces