scientific article

zbMath0446.03010MaRDI QIDQ3890661

Patrick Salle

Publication date: 1980

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

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

zbMATH Keywords

lambda calculustype-theory

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Call-by-Value Non-determinism in a Linear Logic Type Discipline

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: