Introduction to Turing categories

Introduction to Turing categories

Cached

Download Links

[www.mathstat.uottawa.ca]

Other Repositories/Bibliography

DBLP

by J. R. B. Cockett , Pieter J. W. Hofstra

Citations:

1 - 0 self

BibTeX

@MISC{Cockett_introductionto,
    author = {J. R. B. Cockett and Pieter J. W. Hofstra},
    title = {Introduction to Turing categories},
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

379	Introduction to higher order categorical logic - Lambek, Scott - 1986
77	The effective topos - Hyland - 1982
55	Realizability Toposes and Language Semantics - Longley - 1995
51	Categories of partial maps - Robinson, Roslini - 1988
42	Continuity and effectiveness in topoi - Rosolini - 1986
37	Classical Recursion Theory, volume 125 - Odifreddi - 1989
26	The Partial Lambda Calculus - Moggi - 1988
21	Local realizability toposes and a modal logic for computability - Awodey, Birkedal, et al.
13	Generalized Banach-Mazur functionals in the topos of recursive sets - Mulry - 1982
13	Algebraically generalized recursive function theory - Strong - 1968
12	Notes on partial combinatory algebras - Bethke - 1988
12	A functorial semantics for multi-algebras and partial algebras, with applications to syntax. Theoret - Corradini, Gadducci
12	Dominical categories: recursion theory without elements - Paola, Heller - 1987
10	Partiality, cartesian closedness and toposes - Curien, Obtulowitz - 1989
10	An existence theorem for recursive categories - Heller - 1990
9	Restriction categories II: Partial map classification - Cockett, Lack
9	Abstract first order computability - Moschovakis - 1969
8	Cartesian closed categories of enumerations for effective typestructures - Longo, Moggi
8	Uniformly reflexive structures: on the nature of Gödelizations and relative computability - Wagner - 1969
7	Oosten. Relative and modified relative realizability - Birkedal, van - 2002
5	Oosten Ordered partial combinatory algebras - Hofstra, van - 2006
5	More existence theorems for recursion categories, Annals of Pure and Applied Logic 125 - Lengyel - 2004
5	Partial Horn logic and cartesian categories, Annals of Pure and Applied Logic 145 - Palmgren, Vickers - 2007
5	Classifying categories for partial equational logic - Schroder - 2003
4	On axiomatizing recursion theory - Fenstad - 1974
4	On the ubiquity of certain total type structures - Longley - 2007
4	Axioms for computation theories - Moschovakis - 1969
3	de Vrijer. Completing partial combinatory algebras with unique head-normal forms - Bethke, Klop, et al. - 1996
3	editor. Handbook of Computability Theory, volume 140 - Griffor - 1999
3	All realizability is relative - Hofstra - 2008
3	Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic - Paola, Montagna - 1991
3	The logic of the partial λ-calculus with equality - Schröder - 2004
2	Categorical simulations - Cockett, Hofstra
2	Fundamentals of Generalized Recursion Theory, volume 105 of Studies in Logic. North-Holland - Fitting - 1981
2	Some reasons for generalizing recursion theory - Kreisel - 1971
2	G��del numberings, principal morphisms, combinatory algebras" Prelim. version of this paper - Longo, Moggi - 1984
2	A category theoretic characterization of functional completeness - Longo, Moggi - 1990
2	Representation theorems for special p-categories - Rosolini - 1988
2	A relativization mechanism in recursion categories - Stefani - 1993
1	Handbook for Logic in Computer Science, volume 3, chapter Domain theory - Abramsky, Jung - 1994
1	Asperti and Agata Ciabattoni. Effective applicative structures - Andrea - 1995
1	Locally connected recursion categories - Lengyel - 2006
1	An abstract look at realizability - Robinson, Rosolini
1	Reflexive structures - Sanchis - 1988
1	course on admissible recursion theory - Short
1	A general form of relative recursion - Oosten