Timed sets, functional complexity, and computability

Electronic Notes in Theoretical Computer Science

Volumn 286, Issue , 2012, Pages 117-137

  Cockett, Robin ^a   Díaz Boïls, Joaquín ^b   Gallagher, Jonathan ^a   Hrubeš, Pavel ^a  

^a UNIVERSITY OF CALGARY   (Canada)

^b UNIVERSITY OF VALENCIA   (Spain)

Author keywords

Complexity measures; Computability; Functional complexity; Restriction categories; Turing categories

Indexed keywords

COMPUTATIONAL COMPLEXITY;

COMPLEXITY MEASURES; COMPUTABILITY; FUNCTIONAL COMPLEXITY; RESTRICTION CATEGORIES; TURING CATEGORIES;

COMPUTABILITY AND DECIDABILITY;

EID: 84879239784     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2012.08.009     Document Type: Conference Paper

References (12)

1. S. Aurora and B. Barak, Computational Complexity: a modern approach. Cambridge University Press (2009).
2. J.R.B Cockett and P. Hofstra, Introduction to Turing Categories. Annals of Pure and Applied Logic, Vol. 156 (2008) 183-209.
3. J. R. B. Cockett and S. Lack, Restriction Categories I: Categories of partial maps. Theoretical Computer Science, Vol 270 (2002) 223-259.
4. J.R.B. Cockett and S. Lack, Restriction categories III: colimits, partial limits and extensivity. Mathematical Structures in Computer Science, Vol 17 (2007) 775-817.
5. J.R.B. Cockett and E. Manes, Boolean and Classical Restriction Categories. Mathematical Structures in Computer Science, Vol 19 (2009) 357-416.
6. J. R. B. Cockett and B. F. Redmond A Categorical Setting for Lower Complexity. Electronic Notes in Theoretical Computer Science, Vol. 265 (2010) 277-300.
7. D. Gurr, Semantic frameworks for complexity. PhD Thesis, University of Edinburgh (1991).
8. M. Hasegawa, On traced monoidal closed categories. Mathematical Structures in Computer Science, Vol 19 (2009):217-244.
9. A. Joyal, R. Street, and D. Verity, Traced monoidal categories. Math. Proc. Cambridge Philos. Soc. Vol. 119(1996) 447-468.
10. R.A. Di Paola and A. Heller, Dominical categories: recursion theory without elements. Journal of Symbolic Logic, Vol. 52 (1987), 595-635.
11. E. Robinson and G. Rosolini Categories of partial maps. Information and Computation, vol. 79 (1988) 94-130.
12. M. Sipser Introduction to the theory of computation. PWS Publishing Company (1996).