scientific article; zbMATH DE number 3563039
From MaRDI portal
Publication:4135470
zbMath0362.02016MaRDI QIDQ4135470
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computability and recursion theory (03D99) Combinatory logic and lambda calculus (03B40) Algorithms in computer science (68W99)