Fundamental theorems of extensional untyped $\lambda$-calculus revisited
This paper presents new proofs of three following fundamental theorems of the untyped extensional $\lambda$-calculus: the $\eta$-Postpo-nement theorem, the $\beta\eta$-Normal form theorem, and the Norma-lization theorem for $\beta\eta$-reduction. These proofs do not involve any special extensions of...
Main Author: | Alexandre Lyaletsky |
---|---|
Format: | Article |
Language: | English |
Published: |
Institute of Mathematics and Computer Science of the Academy of Sciences of Moldova
2015-10-01
|
Series: | Computer Science Journal of Moldova |
Subjects: | |
Online Access: | http://www.math.md/files/csjm/v23-n2/v23-n2-(pp153-164).pdf |
Similar Items
-
DE PABLO, Santiago, MOTA ZURDO, David y LÓPEZ DE MATURANA, Virginia, Testigo de cargo. La historia de ETA y sus víctimas en televisión, Bilbao, Ediciones Beta, 2018, 224 pp.
by: Igor Barrenetxea Marañón
Published: (2020-06-01) -
DE PABLO, Santiago, MOTA ZURDO, David y LÓPEZ DE MATURANA, Virginia, Testigo de cargo. La historia de ETA y sus víctimas en televisión, Bilbao, Ediciones Beta, 2018, 224 pp.
by: Igor Barrenetxea Marañón
Published: (2020-06-01) -
Caracterização físico-química e ensaios de adensamento em coluna do lodo produzido em uma Estação de Tratamento de Água de grande porte
by: Marcia Regina Uchoa Mattos, et al.
Published: (2013-06-01) -
On some algebraic aspects of η-intuitionistic fuzzy subgroups
by: Umer Shuaib, et al.
Published: (2020-01-01) -
Prediction for eta(') -> pi+ pi- pi0 gamma signal.
by: Gül, Alpaslan
Published: (2016)