scientific article; zbMATH DE number 1332643

MaRDI QIDQ4259970zbMATH OpenFDO

Authors Fairouz Kamareddine, A. Ríos, J. B. Wells

Publication date 9 September 1999

Full work available at URL http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1998/A98-05/A98-05.html

zbMATH Keywords

lambda-calculus

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• \(\lambda\)-calculi with explicit substitutions preserving strong normalization
• -calculi with explicit substitutions and composition which preserve -strong normalization
• scientific article; zbMATH DE number 1342288
• A -calculus with explicit weakening and explicit substitution

Cited in

(10)

• Reduction and unification in lambda calculi with a general notion of subtype
• De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case
• De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: the untyped case
• Comparing and implementing calculi of explicit substitutions with eta-reduction
• Principal Typings for Explicit Substitutions Calculi
• Postponement, conservation and preservation of strong normalization for generalized reduction
• Comparing calculi of explicit substitutions with eta-reduction
• Intersection types and computational rules
• A faithful and quantitative notion of distant reduction for generalized applications
• A faithful and quantitative notion of distant reduction for the lambda-calculus with generalized applications

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