scientific article; zbMATH DE number 3520384
From MaRDI portal
Publication:4100066
zbMath0333.02021MaRDI QIDQ4100066
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory (03D99) Combinatory logic and lambda calculus (03B40)
Related Items (5)
Effective applicative structures ⋮ Unnamed Item ⋮ Aλδ-calculus with an algorithmicδ ⋮ Unnamed Item ⋮ Computational foundations of basic recursive function theory
This page was built for publication:
