Perpetuality and uniform normalization

DOI10.1007/BFB0027014MaRDI QIDQ4364379zbMATH OpenFDO

Authors Mizuhito Ogawa, Zurab Khasidashvili

Publication date 1 April 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0027014

zbMATH Keywords

Conditional Orthogonal Expression Reduction Systemsminimal infinite reductionsperpetual one-step reduction strategyperpetual redexesrestricted \(\lambda\)-calculiuniform normalization

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Perpetuality and uniform normalization in orthogonal rewrite systems
• Perpetual reductions in -calculus
• Perpetuality in a named lambda calculus with explicit substitutions
• On Normalisation of Infinitary Combinatory Reduction Systems

Cited in

(14)

• Complete stability and inside commonality of perceptions
• Semantical analysis of perpetual strategies in -calculus
• Perpetual reductions in -calculus
• An equivalence between lambda- terms
• Perpetuality and uniform normalization in orthogonal rewrite systems
• Conservation and uniform normalization in lambda calculi with erasing reductions
• scientific article; zbMATH DE number 1722703 (Why is no real title available?)
• Perpetuality for Full and Safe Composition (in a Constructive Setting)
• On Normalisation of Infinitary Combinatory Reduction Systems
• scientific article; zbMATH DE number 1948154 (Why is no real title available?)
• The longest perpetual reductions in orthogonal expression reduction systems
• Random Descent
• On the longest perpetual reductions in orthogonal expression reduction systems
• Minimal relative normalization in orthogonal expression reduction systems

This page was built for publication: Perpetuality and uniform normalization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4364379)