I Basic Categories 6

I Basic Categories 6 (2010)

Cached

Download Links

by J. R. B. Cockett

BibTeX

@MISC{Cockett10ibasic,
    author = {J. R. B. Cockett},
    title = {I Basic Categories 6},
    year = {2010}
}

Bookmark

OpenURL

Abstract

Citations

815	Categories for the Working Mathematician - Lane - 1971
283	Classical Recursion Theory - Odifreddi - 1999
97	Linear logic, ∗-autonomous categories and cofree coalgebras - Seely - 1989
63	General theory of natural equivalences - Eilenberg, MacLane - 1945
55	Realizability Toposes and Language Semantics - Longley - 1995
51	Categories of partial maps - Robinson, Roslini - 1988
26	The Partial Lambda Calculus - Moggi - 1988
17	Restriction categories I. Categories of partial maps - Cockett, Lack - 2002
13	Algebraically generalized recursive function theory - Strong - 1968
12	Notes on partial combinatory algebras - Bethke - 1988
12	Dominical categories: recursion theory without elements - Paola, Heller - 1987
10	Partiality, cartesian closedness and toposes - Curien, Obtulowitz - 1989
8	Uniformly reflexive structures: on the nature of Gödelizations and relative computability - Wagner - 1969
7	Effective Applicative Structures - Asperti - 1995
5	More existence theorems for recursion categories, Annals of Pure and Applied Logic 125 - Lengyel - 2004
3	de Vrijer. Completing partial combinatory algebras with unique head-normal forms - Bethke, Klop, et al. - 1996
3	Stable meet semilattice fibrations and free restriction categories. Theory and applications of categories - Cockett, Guo - 2006
2	Introduction to turing categories. Annals of pure and applied logic - Cockett, Hofstra - 2008
2	A category theoretic characterization of functional completeness - Longo, Moggi - 1990
1	Adjoint Functors”, Transactions of the American - Kan - 1958
1	The logic of the partial-calculus with equality, in - Schrder - 2004