scientific article; zbMATH DE number 3557747

zbMATH Open0358.02025MaRDI QIDQ4133598FDOQ4133598

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

Publication date: 1977

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (9)

• Perpetual reductions in \(\lambda\)-calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Distributional Learning and Context/Substructure Enumerability in Nonlinear Tree Grammars
• Title not available (Why is that?)
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• Title not available (Why is that?)
• 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)