Dominical categories: recursion theory without elements (1987)

by Di Paola, R Heller
Venue:Journal of Symbolic Logic