scientific article; zbMATH DE number 18638

MaRDI QIDQ3976042zbMATH OpenFDO

Authors Michel Parigot

Publication date 26 June 1992

zbMATH Keywords

finiteness of developmentslabelled lambda calculusnormalization theorem for apparent redexesuntyped lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• External and internal syntax of the \(\lambda \)-calculus
• Label-selective -calculus syntax and confluence
• scientific article; zbMATH DE number 1354150
• The Intensional Lambda Calculus
• A calculus of lambda calculus contexts
• The \(\lambda\)-context calculus
• scientific article; zbMATH DE number 512781
• scientific article; zbMATH DE number 1332647
• scientific article; zbMATH DE number 51605
• Gödelization in the lambda calculus

Cited in

(4)

• Perpetual reductions in -calculus
• Labelling techniques and typed fixed-point operators
• Levy labels and recursive types
• On strong normalization and type inference in the intersection type discipline

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