scientific article; zbMATH DE number 3605901

MaRDI QIDQ4171548zbMATH OpenFDO

Authors B. Robinet

Publication date 1977

Full work available at URL https://eudml.org/doc/92054

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Abstract data types; algebraic specification (68Q65) Symbolic computation and algebraic computation (68W30)

Cites work

• A CUCH-machine: The automatic treatment of bound variables
• Combinatory logic. With two sections by William Craig.
• Correspondence between ALGOL 60 and Church's Lambda-notation
• Flow diagrams, turing machines and languages with only two formation rules
• GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
• scientific article; zbMATH DE number 3705883 (Why is no real title available?)
• scientific article; zbMATH DE number 3483535 (Why is no real title available?)
• scientific article; zbMATH DE number 3509716 (Why is no real title available?)
• scientific article; zbMATH DE number 3551854 (Why is no real title available?)
• scientific article; zbMATH DE number 3558921 (Why is no real title available?)
• scientific article; zbMATH DE number 3436601 (Why is no real title available?)
• scientific article; zbMATH DE number 3438819 (Why is no real title available?)
• scientific article; zbMATH DE number 3305032 (Why is no real title available?)
• scientific article; zbMATH DE number 3322510 (Why is no real title available?)
• scientific article; zbMATH DE number 3423994 (Why is no real title available?)
• On the capabilities of while, repeat, and exit statements
• Recursive functions of symbolic expressions and their computation by machine, Part I

Cited in

(5)

• scientific article; zbMATH DE number 3666182 (Why is no real title available?)
• scientific article; zbMATH DE number 3672268 (Why is no real title available?)
• scientific article; zbMATH DE number 3697079 (Why is no real title available?)
• scientific article; zbMATH DE number 3720894 (Why is no real title available?)
• scientific article; zbMATH DE number 3551854 (Why is no real title available?)

Describes a project that uses

Uses Software

• ALGOL 60

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