Types for Hereditary Head Normalizing Terms

DOI10.1007/978-3-540-78969-7_15MaRDI QIDQ5458437zbMATH OpenOpenAlexFDO

Authors Makoto Tatsuta

Publication date 11 April 2008

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78969-7_15

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Infinitary intersection types as sequences. A new answer to Klop's problem
• Typing untyped \(\lambda\)-terms, or reducibility strikes again!
• (Head-)normalization of typeable rewrite systems
• Strong normalization and typability with intersection types
• scientific article; zbMATH DE number 177803

Cites work

• A filter lambda model and the completeness of type assignment
• Compositional characterisations of \(\lambda\)-terms using intersection types
• scientific article; zbMATH DE number 2185718 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• Infinitary lambda calculus
• Infinite \(\lambda\)-calculus and types

Cited in

(3)

• Sequence types for hereditary permutators
• Infinitary intersection types as sequences. A new answer to Klop's problem
• Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications

This page was built for publication: Types for Hereditary Head Normalizing Terms

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