David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Symbolic Logic 66 (1):357-382 (2001)
Acceptable programming systems have many nice properties like s-m-n-Theorem, Composition and Kleene Recursion Theorem. Those properties are sometimes called control structures, to emphasize that they yield tools to implement programs in programming systems. It has been studied, among others by Riccardi and Royer, how these control structures influence or even characterize the notion of acceptable programming system. The following is an investigation, how these control structures behave in the more general setting of complete numberings as defined by Mal'cev and Eršov
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Xinyan Jiang (2007). Courage and Self-Control. The Proceedings of the Twenty-First World Congress of Philosophy 1:59-64.
Jason Stansbury & Bruce Barry (2007). Ethics Programs and The Paradox of Control. Business Ethics Quarterly 17 (2):239-261.
Su Gao (1998). On Automorphism Groups of Countable Structures. Journal of Symbolic Logic 63 (3):891-896.
Michael Esfeld (2009). The Modal Nature of Structures in Ontic Structural Realism. International Studies in the Philosophy of Science 23 (2):179 – 194.
Giangiacomo Gerla (2005). Fuzzy Logic Programming and Fuzzy Control. Studia Logica 79 (2):231 - 254.
Paul E. Tibbetts (2004). The Concept of Voluntary Motor Control in the Recent Neuroscientific Literature. Synthese 141 (2):247-76.
Mike Ainsworth (1993). Abpl. Acta Biotheoretica 41 (1-2).
Steven R. Salbu (1993). Corporate Social Responsiveness: Choosing Between Hierarchical and Contractual Control. [REVIEW] Journal of Business Ethics 12 (1):27 - 35.
Added to index2009-01-28
Total downloads6 ( #211,669 of 1,100,044 )
Recent downloads (6 months)3 ( #127,210 of 1,100,044 )
How can I increase my downloads?