Infinite terms and recursion in higher types (1974)

by H Schwichtenberg, S S Wainer
Venue:ISILC Proof Theory Symposion (Proc. Internal Summer Inst. and Logic Colloq