scientific article

zbMath0461.03002MaRDI QIDQ3910511

Patrick Salle

Publication date: 1980

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

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

zbMATH Keywords

lambda calculustype theorytype assignment

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Uses Software

• ALGOL 60

Cites Work

• Types in combinatory logic
• Combinatory logic. Vol. II
• A new type assignment for λ-terms
• Correspondence between ALGOL 60 and Church's Lambda-notation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: