peter – keeping simple

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},

Read more