Publication:3149662
From MaRDI portal
zbMath1002.03038MaRDI QIDQ3149662
Publication date: 30 September 2002
ramificationprimitive recursive functionsGödel's system \(T\)dependent typingrecursively defined types
Complexity of computation (including implicit computational complexity) (03D15) Combinatory logic and lambda calculus (03B40) Higher-type and set recursion theory (03D65)