Introduction to turing categories (0)

by J R B Cockett, P Hofstra
Venue:Annals of Pure and Applied Logic