scientific article
From MaRDI portal
Publication:3320341
zbMath0536.03004MaRDI QIDQ3320341
No author found.
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
One-step recurrent terms in \(\lambda\)-\(\beta\)-calculus ⋮ Orders, reduction graphs and spectra ⋮ Reduction graphs in the lambda calculus
This page was built for publication:
