Computability in Categories

Michael B. Smyth. Computability in Categories. In J. W. de Bakker, Jan van Leeuwen, editors, Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherland, July 14-18, 1980, Proceedings. Volume 85 of Lecture Notes in Computer Science, pages 609-620, Springer, 1980.

Abstract

Abstract is missing.