A Formally Constructive Model for Barrecursion of Higher Types.Published in:Mathematical Logic Quarterly, 1972, v. 18, n. 21-24, p. 321, doi. 10.1002/malq.19720182102By:Scarpellini, BrunoPublication type:Article
Masthead.Published in:Mathematical Logic Quarterly, 1972, v. 18, n. 21-24, p. fmi, doi. 10.1002/malq.19720182101Publication type:Article