Somewhere for me to play with writing my own language. Somewhere for me and others to play with primitive recursive functions. Normally, when reading examples of PRFs, the types are implicit. We'll ...

Abstract: In a previous paper we introduced a system of recursion operators for formulating pure logic programs, dispensing with explicit recursions. The recursion operators, some of which are similar ...

For the more mathematically include, the definition of Primitive Recursive Functions is provided here. For the mere mortals, such as me, I will attempt to give a more intuitional definition. Primitive ...

An illustration of a magnifying glass. An illustration of a magnifying glass.

Reversible programming languages and computing represent a forward‐looking paradigm in which every computational operation is designed to be invertible. In these systems, each transition from one ...