Return to Revisions

3 of 3

http -> https (the question has been bumped anyway)

edited May 7, 2022 at 3:01

4.7k
4
35
40

Look at the paper of Cockett and Hofstra on Turing categories. (Here is another link and also DOI: 10.1016/j.apal.2008.04.005.)

answered Dec 3, 2011 at 0:33

Benjamin Steinberg

38.6k
3
104
186