On continuous normalization

DOI10.1007/3-540-45793-3_5MaRDI QIDQ4411815zbMATH OpenFDO

Authors Klaus Aehlig, Felix Joachimski

Publication date 10 July 2003

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

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Continuous normalization for the lambda-calculus and Gödel's T
• Perpetuality and uniform normalization
• Continuous semantics for strong normalization
• Continuous semantics for strong normalisation
• Continuity and discontinuity in lambda calculus

Cited in

(10)

• Continuous normalization for the lambda-calculus and Gödel's T
• Continuous functions on final coalgebras
• Recent Developments in Normaliz
• scientific article; zbMATH DE number 4134006 (Why is no real title available?)
• On the normalizer problem
• scientific article; zbMATH DE number 1757129 (Why is no real title available?)
• Clocked lambda calculus
• scientific article; zbMATH DE number 6792365 (Why is no real title available?)
• Normalization flow
• Substitution in non-wellfounded syntax with variable binding

This page was built for publication: On continuous normalization

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