scientific article; zbMATH DE number 4147470

MaRDI QIDQ3477936zbMATH OpenFDO

Authors D. Sarni

Publication date 1990

zbMATH Keywords

applicative programming languageslambda-calculus on occurrence

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) General topics in the theory of software (68N01) Theory of computing (68Q99)

Recommendations

• THE QUINE-BERNAYS COMBINATORY CALCULUS
• Lambda calculus with patterns
• scientific article; zbMATH DE number 5318491
• A glimpse into the paradise of combinatory algebra
• scientific article; zbMATH DE number 4045707

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3477936)