Search results

...GRF and <math>|f|</math> is the "structural size" of ''f'' (the number of atoms and combinators in the definition, [[General Recursive Function#Size|see de ...k</math> inductively based on the following construction rules, start with Atoms and combine them using Combinators. ...