Characterizing programming systems allowing program self-reference
From MaRDI portal
Publication:733737
computability theoryrecursion theoremself-referencenumberingsrecursive function theorycomputable operatorscontrol structuresprogramming systemsrecursive operators
Recommendations
Cites work
- scientific article; zbMATH DE number 439891 (Why is no real title available?)
- scientific article; zbMATH DE number 3550181 (Why is no real title available?)
- scientific article; zbMATH DE number 3586480 (Why is no real title available?)
- scientific article; zbMATH DE number 1257634 (Why is no real title available?)
- scientific article; zbMATH DE number 680708 (Why is no real title available?)
- scientific article; zbMATH DE number 3291134 (Why is no real title available?)
- A Machine-Independent Theory of the Complexity of Recursive Functions
- A connotational theory of program structure
- Characterizing Programming Systems Allowing Program Self-reference
- Control structures in hypothesis spaces: The influence on learning
- Effectivizing Inseparability
- Fifty years of self-reference in arithmetic
- Fixpoint approach to the theory of computation
- Generalized computable numerations and nontrivial Rogers semilattices
- Gödel numberings of partial recursive functions
- Indexings of subrecursive classes
- Inductive Inference and Computable One‐One Numberings
- Infinitary self-reference in learning theory
- Properties Complementary to Program Self-reference
- Some independence results for control structures in complete numberings
- The independence of control structures in abstract programming systems
Cited in
(7)- Things that can be made into themselves
- Properties Complementary to Program Self-reference
- Program self-reference in constructive Scott subdomains
- Program self-reference in constructive Scott subdomains
- Properties complementary to program self-reference
- Immune Systems in Computer Virology
- Characterizing Programming Systems Allowing Program Self-reference
This page was built for publication: Characterizing programming systems allowing program self-reference
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q733737)