Introduction to Turing categories

Cached

Download Links

by J. R. B. Cockett , Pieter J. W. Hofstra
Citations:4 - 1 self

Documents Related by Co-Citation

55 Categories of partial maps – E Robinson, G Rosolini - 1988
4 Categorical simulations – J Cockett, P Hofstra
3 Partial maps with domain and range: extending Schein’s representation – M Jackson, T Stokes
4 Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem – Jesse Hughes, Bart Jacobs - 2002
15 Dominical categories: recursion theory without elements – Di Paola, R Heller - 1987
3 Unitary theories, unitary categories – J Cockett, P Hofstra - 2010
112 Categorical Logic and Type Theory – B Jacobs - 1999
60 Realizability Toposes and Language Semantics – J Longley - 1994
90 A language and axioms for explicit mathematics – S Feferman - 1975
2 Differential restriction categories. Theory and Application of Categories – Robin Cockett, Geoff Crutwell, Jonathan Gallagher - 2011
29 Restriction categories I: Categories of partial maps – Stephen Lack - 2001
30 The Partial Lambda-Calculus – Eugenio Moggi, Ph. D - 1988
2 Ordered groupoids and étendues – M V Lawson, B Steinberg
2 Abstract and Concrete Categories: The Joy of Cats, volume 17 – J Adamek, H Herrlich, G Strecker - 2006
2 Representation theorems for p-categories – G Rosolini - 1988
1 Stablemeetsemilatticefibrationsandfreerestriction categories. Theory and Applications of Categories – J R B CockettandX Guo - 2006
5 Boolean and classical restriction categories – Robin Cockett, Ernie Manes - 2009
36 Tiling Semigroups – J. Kellendonk, Mark V. Lawson, Ysgol Fathemateg, Prifysgol Cymru - 1999
112 Weakly Distributive Categories – Cockett Seely, J. R. B. Cockett, R. A. G. Seely - 1991