scientific article; zbMATH DE number 3509716

zbMath0325.68012MaRDI QIDQ4089764

Richard Castanet

Publication date: 1974

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

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

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

Cites Work

• Combinatory logic. With two sections by William Craig.
• A fast storage allocator
• Symmetric list processor
• The Calculi of Lambda Conversion. (AM-6)
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: