Search Results

First, some background: recently in learning more about functional programming I saw one use for coproducts that surprised me a little bit: A function $f: A \rightarrow B \coprod C$ may result when c …

While there is a lot of work in category related to notions of realizability and computability, etc... I've failed to find work on categories that are computable in the sense of having object and morp …

[Edited] Let $\mathsf{PR}$ be the category defined as follows: Choose a specific presentation of Primitive Recursive Arithmetic, that is, with a specific set of terms for primitive recursive functio …

Consider computation with the integers $\mathbb{Q}$. The traditional theory of recursive functions on $\mathbb{N}$ applies to $\mathbb{Q}$ by the identification of $\frac{a}{b} \in \mathbb{Q}$ with $ …

From the Wikipedia article on Primitive recursive arithmetic: "Primitive recursive arithmetic, or PRA, is a quantifier-free formalization of the natural numbers. It was first proposed by Skolem[1] …