Schinzel, Britta Über die Kategorie der Programmbuendel. (Hab.-Schr.). (German) Zbl 0476.03047 Fachbereich Informatik der Technischen Hochschule Darmstadt. 139 S. (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03D45 Theory of numerations, effectively presented structures 68N01 General topics in the theory of software 18F15 Abstract manifolds and fiber bundles (category-theoretic aspects) 18A15 Foundations, relations to logic and deductive systems 03D20 Recursive functions and relations, subrecursive hierarchies 03D15 Complexity of computation (including implicit computational complexity) 03D80 Applications of computability and recursion theory Keywords:category of program bundles and translators; Goedel numbering; Friedberg numbering; Goedel bundle; Friedberg bundle Citations:Zbl 0129.259 × Cite Format Result Cite Review PDF