Expanding the cube

DOI10.1007/3-540-49019-1_7MaRDI QIDQ4260702zbMATH OpenFDO

Authors Gilles Barthe

Publication date 13 March 2000

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

Full work available at URL https://doi.org/10.1007/3-540-49019-1_7

zbMATH Keywords

algebraic reductioncalculus of constructionsfirst-order term-rewriting systemslambda calculuslambda-cubestrong normalization of \(\beta\)-reduction+\(\eta\)-expansion

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Grammars and rewriting systems (68Q42)

Recommendations

• Inflating the cube by shrinking
• Unfoldings of the cube
• Augmented cubes
• Cube
• Cube
• Extended Lucas cubes
• scientific article; zbMATH DE number 6383870

Cited in

(6)

• Syntactic analysis of \(\eta\)-expansions in pure type systems.
• scientific article; zbMATH DE number 2185658 (Why is no real title available?)
• scientific article; zbMATH DE number 2185714 (Why is no real title available?)
• Towards normalization by evaluation for the -calculus of constructions
• scientific article; zbMATH DE number 512797 (Why is no real title available?)
• The virtues of eta-expansion

This page was built for publication: Expanding the cube

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