scientific article
From MaRDI portal
Publication:3884082
zbMath0442.03012MaRDI QIDQ3884082
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
applicative systemcombinatory algebracombinatorially complete systemsembeddability of modelsformal continuitylambda-algebra