A Characterisation of Multiply Recursive Functions with Higman's Lemma.

Hélène Touzet

Published in: RTA (1999)

Keyphrases

recursive functions
inductive inference
johnson lindenstrauss
floating point
lower bound
domain knowledge
upper bound
hypothesis spaces