A relativization mechanism in recursion categories (1993)

by S Stefani
Venue:Journal of Symbolic Logic