Normalization of typable terms by superdevelopments

DOI10.1007/10703163_18MaRDI QIDQ4263802zbMATH OpenFDO

Authors Adolfo Piperno, Zurab Khasidashvili

Publication date 22 September 1999

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

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

zbMATH Keywords

\(\eta\)-expansiongarbage collectionhyperbalanced \(\lambda\)-termslambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 2090064
• scientific article; zbMATH DE number 3853055
• Typing untyped \(\lambda\)-terms, or reducibility strikes again!
• scientific article; zbMATH DE number 4045709

Cited in

(2)

• The conflict-free reduction geometry
• scientific article; zbMATH DE number 2090064 (Why is no real title available?)

This page was built for publication: Normalization of typable terms by superdevelopments

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