scientific article; zbMATH DE number 3827823

MaRDI QIDQ3674616zbMATH OpenFDO

Authors J. A. Bergstra, Jan Willem Klop

Publication date 1982

zbMATH Keywords

lambda calculusnormalizationreductions

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited in

(8)

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

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)