scientific article
From MaRDI portal
Publication:3784043
zbMath0643.03009MaRDI QIDQ3784043
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
normal formlambda-calculusinfinite reduction sequencesleftmost reductionone-step recurrent termreduction cycle
Related Items (1)
This page was built for publication: