Introduction to Turing categories, (2008)

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