Introduction to Turing categories (2008)

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