scientific article; zbMATH DE number 2086241

MaRDI QIDQ3044339zbMATH OpenFDO

Authors Steffen Van Bakel, Mariangiola Dezani-Ciancaglini

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2286/22860356.htm

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• Strong normalization of substitutions
• Strong normalization of substitutions
• Explicit substitution. On the edge of strong normalization
• scientific article; zbMATH DE number 1508933
• Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi
• Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation
• scientific article; zbMATH DE number 1956511
• Normalisation for higher-order calculi with explicit substitutions
• Foundations of Software Science and Computation Structures
• \(\lambda\)-calculi with explicit substitutions preserving strong normalization

Cited in

(8)

• Cut-elimination in the strict intersection type assignment system is strongly normalizing
• Foundations of Software Science and Computation Structures
• Reductions, intersection types, and explicit substitutions
• Characterising Strongly Normalising Intuitionistic Sequent Terms
• Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi
• Characterising strongly normalising intuitionistic terms
• Intersection types for explicit substitutions
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

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