Introduction to Turing categories (2008)

by J R B Cockett, P J W Hofstra
Venue:Ann. Pure Appl. Logic