Introduction to Turing categories (Q998306): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2008.04.005
@@ Property / DOI: 10.1016/j.apal.2008.04.005 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2008.04.005
+Normal rank
@@ Property / OpenAlex ID @@
+W1979127885
@@ Property / OpenAlex ID: W1979127885 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective applicative structures
@@ Property / cites work: Effective applicative structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499150
@@ Property / cites work: Q4499150 / rank @@
+Normal rank
@@ Property / cites work @@
+Collapsing partial combinatory algebras
@@ Property / cites work: Collapsing partial combinatory algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Developing theories of types and computability via realizability
+Normal rank
@@ Property / cites work @@
+Relative and modified relative realizability
@@ Property / cites work: Relative and modified relative realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Restriction categories. I: Categories of partial maps
+Normal rank
@@ Property / cites work @@
+Restriction categories II: Partial map classification
+Normal rank
@@ Property / cites work @@
+Categorical simulations
@@ Property / cites work: Categorical simulations / rank @@
+Normal rank
@@ Property / cites work @@
+A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
+Normal rank
@@ Property / cites work @@
+Partiality, cartesian closedness, and toposes
@@ Property / cites work: Partiality, cartesian closedness, and toposes / rank @@
+Normal rank
@@ Property / cites work @@
+Q5612462
@@ Property / cites work: Q5612462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880831
@@ Property / cites work: Q3880831 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of generalized recursion theory
@@ Property / cites work: Fundamentals of generalized recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of computability theory
@@ Property / cites work: Handbook of computability theory / rank @@
+Normal rank
@@ Property / cites work @@
+An existence theorem for recursion categories
@@ Property / cites work: An existence theorem for recursion categories / rank @@
+Normal rank
@@ Property / cites work @@
+All realizability is relative
@@ Property / cites work: All realizability is relative / rank @@
+Normal rank
@@ Property / cites work @@
+Ordered partial combinatory algebras
@@ Property / cites work: Ordered partial combinatory algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3671978
@@ Property / cites work: Q3671978 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5623672
@@ Property / cites work: Q5623672 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+More existence theorems for recursion categories.
@@ Property / cites work: More existence theorems for recursion categories. / rank @@
+Normal rank
@@ Property / cites work @@
+Impredicativity entails untypedness
@@ Property / cites work: Impredicativity entails untypedness / rank @@
+Normal rank
@@ Property / cites work @@
+On the ubiquity of certain total type structures
@@ Property / cites work: On the ubiquity of certain total type structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3677755
@@ Property / cites work: Q3677755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682463
@@ Property / cites work: Q3682463 / rank @@
+Normal rank
@@ Property / cites work @@
+A category-theoretic characterization of functional completeness
+Normal rank
@@ Property / cites work @@
+Partial morphisms in categories of effective objects
+Normal rank
@@ Property / cites work @@
+Abstract First Order Computability. I
@@ Property / cites work: Abstract First Order Computability. I / rank @@
+Normal rank
@@ Property / cites work @@
+The Suslin-Kleene theorem for countable structures
+Normal rank
@@ Property / cites work @@
+Generalized Banach-Mazur functionals in the topos of recursive sets
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers
+Normal rank
@@ Property / cites work @@
+Partial Horn logic and Cartesian categories
@@ Property / cites work: Partial Horn logic and Cartesian categories / rank @@
+Normal rank
@@ Property / cites work @@
+Dominical categories: recursion theory without elements
+Normal rank
@@ Property / cites work @@
+Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic.
+Normal rank
@@ Property / cites work @@
+Categories of partial maps
@@ Property / cites work: Categories of partial maps / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783307
@@ Property / cites work: Q4783307 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3826733
@@ Property / cites work: Q3826733 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994786
@@ Property / cites work: Q3994786 / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying categories for partial equational logic
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A relativization mechanism in recursion categories
+Normal rank
@@ Property / cites work @@
+Algebraically Generalized Recursive Function Theory
+Normal rank
@@ Property / cites work @@
+A general form of relative recursion
@@ Property / cites work: A general form of relative recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Uniformly Reflexive Structures: On the Nature of Godelizations and Relative Computability
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2008.04.005
@@ Property / DOI: 10.1016/J.APAL.2008.04.005 / rank @@
+Normal rank