scientific article; zbMATH DE number 4124984
From MaRDI portal
Publication:4205067
zbMath0686.68010MaRDI QIDQ4205067
No author found.
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
strong normalizabilitytypabilityrecursive schemesiteratorself-applicationcombinatory and lambda-algebraspermutatorrecursor
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Some results on numerical systems in \(\lambda\)-calculus ⋮ Taming the wild ant-lion; a counterexample to a conjecture of Böhm
This page was built for publication:
