An interpreter for slips—An applicative language based on LAMBDA-Calculus

DOI10.1016/0096-0551(86)90013-5zbMATH Open0591.68011OpenAlexW1991184654MaRDI QIDQ3719792FDOQ3719792

Authors: Vijay Gehlot, Y. N. Srikant 

Publication date: 1986

Published in: Computer Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0096-0551(86)90013-5

Recommendations

• Scheme: A interpreter for extended lambda calculus
• Equational programming in \(\lambda\)-calculus via SL-systems. Part 1
• Equational programming in \(\lambda\)-calculus via SL-systems. Part 2
• scientific article; zbMATH DE number 1482988
• scientific article; zbMATH DE number 799583
• The lambda-context calculus (extended version)
• The SL synchronous language, revisited
• A calculus of lambda calculus contexts

zbMATH Keywords

semanticscall-by-needcall-by-valueinterpretercall-by-nameAn applicative languageLAMBDA-CalculusSLIPS (Small Language for Instruction Purposes

Mathematics Subject Classification ID

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

Cited In (1)

• A functional computation model for the duality of two-variable lambda-Boolean functions

This page was built for publication: An interpreter for slips—An applicative language based on LAMBDA-Calculus

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