Dominical Categories: Recursion Theory without Elements

Robert A. Di Paola, Alex Heller. Dominical Categories: Recursion Theory without Elements. Journal of Symbolic Logic, 52(3):594-635, 1987.

Publication has no abstract