primitive recursive functions

Sorting algorithms as recursive functions

September 2, 2020 vy algebra, theory

This paper is an experiment in presenting programming algorithms as recursive functions, without pseudo-code or genuine code. The algorithms presented are the standard basic sorting

Primitive recursion over words

September 29, 2015 vy theory

From: @book{Peter:1982:RFC:539249, author = {Peter, Roezsa}, title = {Recursive Functions in Computer Theory}, year = {1982}, isbn = {0470271957}, publisher = {Halsted Press},