An Exactification of the Monoid of Primitive Recursive Functions.

Joachim Lambek Philip J. Scott

Published in: Stud Logica (2005)

Keyphrases

recursive functions
inductive inference
high level
higher level
learning theory
real time
domain knowledge