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 ...

Ask the publishers to restore access to 500,000+ books. A line drawing of the Internet Archive headquarters building façade. An illustration of a heart shape "Donate to the archive" An illustration of ...

Article Views are the COUNTER-compliant sum of full text article downloads since November 2008 (both PDF and HTML) across all institutions and individuals. These metrics are regularly updated to ...

Add a description, image, and links to the primitive-recursive-functions topic page so that developers can more easily learn about it.

Abstract: A revision of the basic concepts of type, function (called here operation), and relation is proposed. A simple generic method is presented for constructing operations and types as concrete ...

Given the importance of recursion in modern linguistics, there ought to be much to commend in Watumull et al.'s (2014) attempt to clarify what recursion is (or ought to be); I have trudged this very ...