scientific article; zbMATH DE number 3827823

MaRDI QIDQ3674616zbMATH OpenFDO

Authors J. A. Bergstra, Jan Willem Klop

Publication date 1982

zbMATH Keywords

reductionslambda calculusnormalization

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited in

(7)

• Conservation and uniform normalization in lambda calculi with erasing reductions
• Perpetuality and uniform normalization in orthogonal rewrite systems
• Effective longest and infinite reduction paths in untyped λ-calculi
• Perpetual reductions in -calculus
• On the longest perpetual reductions in orthogonal expression reduction systems
• Strong normalization from weak normalization in typed \(\lambda\)-calculi
• Semantical analysis of perpetual strategies in -calculus

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