Primitive recursion over words

 

 

From:

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