The First Recursion Theorem for Iterative Combinatory Spaces

DOI10.1002/MALQ.19790250308MaRDI QIDQ4198499zbMATH OpenOpenAlexFDO

Authors 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

first recursion theoremiterative combinatory spaceprogramming theoryrecursive proceduresrecursiveness

Mathematics Subject Classification ID

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

Cited in

(2)

• scientific article; zbMATH DE number 7809184 (Why is no real title available?)
• Spaces with combinators

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4198499)