General recursion, yes however often the fixed point operator is added (and its associated judgements) to have interesting programs/proofs. Hmm, that fixed poi

General recursion, yes however often the fixed point operator is added (and its associated judgements) to have interesting programs/proofs. Hmm, that fixed point operator, rings a bell, can't quite put my finger on it . . . :-)