scientific article; zbMATH DE number 89003

MaRDI QIDQ4016562zbMATH OpenFDO

Authors Masahiko Sato

Publication date 16 January 1993

zbMATH Keywords

abstractionfunctional programminginstantiationlambda-termssubstitution

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• On abstraction and the expressive power of programming languages
• On abstraction and the expressive power of programming languages
• A consistent extension of the lambda-calculus as a base for functional programming languages
• Theory of symbolic expressions. I
• scientific article; zbMATH DE number 4037167

Cited in

(5)

• Abstract symbol systems (an exercise of the bottom-up approach in artificial intelligence)
• scientific article; zbMATH DE number 2010094 (Why is no real title available?)
• Viewing \({\lambda}\)-terms through maps
• Theory of symbolic expressions. I
• External and internal syntax of the \(\lambda \)-calculus

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 Q4016562)