Über die Kategorie der Programmbuendel. (Hab.-Schr.). (German) Zbl 0476.03047

Fachbereich Informatik der Technischen Hochschule Darmstadt. 139 S. (1980).


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


Zbl 0129.259