Types for Hereditary Head Normalizing Terms

DOI10.1007/978-3-540-78969-7_15zbMath1138.68021OpenAlexW4254946955MaRDI QIDQ5458437

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)

Related Items (2)

Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications ⋮ Unnamed Item

Cites Work

• Infinite \(\lambda\)-calculus and types
• Infinitary lambda calculus
• Compositional characterisations of \(\lambda\)-terms using intersection types
• A filter lambda model and the completeness of type assignment
• Unnamed Item
• Unnamed Item
• Unnamed Item

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