Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Look at the paper of Cockett and Hofstra on Turing categoriespaper of Cockett and Hofstra on Turing categories. (Here is another link and also DOI: 10.1016/j.apal.2008.04.005.)
Look at the paper of Cockett and Hofstra on Turing categories.
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.)
Look at the paper of Cockett and Hofstra on Turing categories http://www.google.com/url?sa=t&source=web&cd=1&ved=0CBkQFjAA&url=http%3A%2F%2Fwww.mathstat.uottawa.ca%2F~phofstra%2FT1.pdf&ei=Lm7ZTpHSD8bo0QHCwKT7DQ&usg=AFQjCNH8Xn60HtLqRcsS0eOe8Zeu21755g&sig2=Apg7XZFX-Jy9NIJFssaQ3Qpaper of Cockett and Hofstra on Turing categories.
Look at the paper of Cockett and Hofstra on Turing categories http://www.google.com/url?sa=t&source=web&cd=1&ved=0CBkQFjAA&url=http%3A%2F%2Fwww.mathstat.uottawa.ca%2F~phofstra%2FT1.pdf&ei=Lm7ZTpHSD8bo0QHCwKT7DQ&usg=AFQjCNH8Xn60HtLqRcsS0eOe8Zeu21755g&sig2=Apg7XZFX-Jy9NIJFssaQ3Q
