scientific article; zbMATH DE number 3557747

MaRDI QIDQ4133598zbMATH OpenFDO

Authors Mario Coppo, Mariangiola Dezani-Ciancaglini, Corrado Böhm

Publication date 1977

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40)

Recommendations

• Rewriting Techniques and Applications
• Intersection types and termination properties
• Termination of combined (rewrite and λ-calculus) systems
• Partial inductive definitions as type-systems for \(\lambda\)-terms
• Proving termination of normalization functions for conditional expressions

Cited in

(9)

• Perpetual reductions in -calculus
• scientific article; zbMATH DE number 3697079 (Why is no real title available?)
• scientific article; zbMATH DE number 3672268 (Why is no real title available?)
• Distributional Learning and Context/Substructure Enumerability in Nonlinear Tree Grammars
• scientific article; zbMATH DE number 3720894 (Why is no real title available?)
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• scientific article; zbMATH DE number 218500 (Why is no real title available?)
• Proving termination of normalization functions for conditional expressions
• A new type assignment for λ-terms

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