Publication:3884082
From MaRDI portal
zbMath0442.03012MaRDI QIDQ3884082
Publication date: 1978
applicative system; combinatory algebra; combinatorially complete systems; embeddability of models; formal continuity; lambda-algebra
03B40: Combinatory logic and lambda calculus