Fundamental theorems of extensional untyped \(\lambda\)-calculus revisited

zbMath1390.03018MaRDI QIDQ1650330

Alexandre Lyaletsky

Publication date: 3 July 2018

Published in: Computer Science Journal of Moldova (Search for Journal in Brave)

Full work available at URL: http://www.math.md/publications/csjm/issues/v23-n2/11956/

zbMATH Keywords

\(\beta\eta\)-normal form theorem\(\beta\eta\)-reduction\(\eta\)-postponement theoremextensional untyped \(\lambda\)-calculusnormalization theorem for \(\beta\eta\)-reductionpostponement of \(\eta\)-reduction

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

This page was built for publication: Fundamental theorems of extensional untyped \(\lambda\)-calculus revisited