Author:
Cockett J.R.B.,Hofstra P.J.W.,Hrubeš P.
Subject
General Computer Science,Theoretical Computer Science
Reference6 articles.
1. Introduction to Turing categories;Cockett;Annals of Pure and Applied Logic,2008
2. Timed Sets, Functional Complexity, and Computability;Cockett;Electronic Notes in Theoretical Computer Science,2012
3. Restriction categories I: categories of partial maps;Cockett;Theoretical Computer Science,2002
4. Logical Foundations of Proof Complexity;Cook,2010
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Categorical semantics of a simple differential programming language;Electronic Proceedings in Theoretical Computer Science;2021-02-08
2. Formalizing Abstract Computability: Turing Categories in Coq;Electronic Notes in Theoretical Computer Science;2018-10