scientific article; zbMATH DE number 3605901

zbMath0389.68015MaRDI QIDQ4171548

B. Robinet

Publication date: 1977

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (5)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

Uses Software

• ALGOL 60

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combinatory logic. With two sections by William Craig.
• Recursive functions of symbolic expressions and their computation by machine, Part I
• A CUCH-machine: The automatic treatment of bound variables
• On the capabilities of while, repeat, and exit statements
• 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

This page was built for publication: