scientific article; zbMATH DE number 3659007

MaRDI QIDQ3857730zbMATH OpenFDO

Authors N. G. de Bruijn

Publication date 1978

zbMATH Keywords

AUTOMATHlambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99)

Cited in

(8)

• A useful -notation
• Lambda-calculus with director strings
• Intersection types for explicit substitutions
• Pure pattern calculus à la de Bruijn
• λν, a calculus of explicit substitutions which preserves strong normalisation
• Explicit substitutions with de bruijn's levels
• Completeness of the decreasing diagrams method for proving confluence of rewriting systems of the least uncountable cardinality
• Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility

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