Hofstra introduction to Turing categories Annals of Pure and Applied Logic 156 (2008)

by J R B Cockett, P J W