The paper gives examples of recursion categories which help illuminate the topics of creativeness and completeness in the theory of recursion categories
Intensionality is a phenomenon that occurs in logic and computation. In the most general sense, a f...
AbstractThe theory of computability, or basic recursive function theory as it is often called, is us...
AbstractWe give an introduction to Turing categories, which are a convenient setting for the categor...
The paper gives examples of recursion categories which help illuminate the topics of creativeness a...
We consider two categories with one object, namely the set of all partial functions of one variable ...
Our goal is to define a type of partial recursive functions in constructive type theory. In a serie...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1971.Vita.Bibliography...
AbstractMoschovakis (1984, in “Computation and Proof Theory” (Y. Richter et al., Eds.), Lect. Notes ...
The SAGE Encyclopedia of Human Communication Sciences and DisordersRecursion is a mathematical princ...
This book, Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexi...
The type theories we consider are adequate for the foundations of mathematics and computer science....
The theory of computability, or basic recursive function theory as it is often called, is usually m...
Structured recursion schemes have been widely used in constructing, optimising, and reasoning about ...
In this paper a relation is established between the number of categories a system uses and the numbe...
Central concerns of the book are related theories of recursively enumerable sets, of degree of un-so...
Intensionality is a phenomenon that occurs in logic and computation. In the most general sense, a f...
AbstractThe theory of computability, or basic recursive function theory as it is often called, is us...
AbstractWe give an introduction to Turing categories, which are a convenient setting for the categor...
The paper gives examples of recursion categories which help illuminate the topics of creativeness a...
We consider two categories with one object, namely the set of all partial functions of one variable ...
Our goal is to define a type of partial recursive functions in constructive type theory. In a serie...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1971.Vita.Bibliography...
AbstractMoschovakis (1984, in “Computation and Proof Theory” (Y. Richter et al., Eds.), Lect. Notes ...
The SAGE Encyclopedia of Human Communication Sciences and DisordersRecursion is a mathematical princ...
This book, Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexi...
The type theories we consider are adequate for the foundations of mathematics and computer science....
The theory of computability, or basic recursive function theory as it is often called, is usually m...
Structured recursion schemes have been widely used in constructing, optimising, and reasoning about ...
In this paper a relation is established between the number of categories a system uses and the numbe...
Central concerns of the book are related theories of recursively enumerable sets, of degree of un-so...
Intensionality is a phenomenon that occurs in logic and computation. In the most general sense, a f...
AbstractThe theory of computability, or basic recursive function theory as it is often called, is us...
AbstractWe give an introduction to Turing categories, which are a convenient setting for the categor...
DOI
Add to ORKG