Stratified polymorphism and primitive recursion
From MaRDI portal
Publication:4704766
DOI10.1017/S0960129599002868zbMath0935.03024OpenAlexW1977616074WikidataQ127632351 ScholiaQ127632351MaRDI QIDQ4704766
Publication date: 4 May 2000
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129599002868
primitive recursive functionssecond-order lambda calculustype abstractionGrzegorczyk hierarchynumeric functions
Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Recursive functions and relations, subrecursive hierarchies (03D20) Combinatory logic and lambda calculus (03B40)
Related Items