scientific article; zbMATH DE number 806614
From MaRDI portal
Publication:4850465
zbMath0830.03003MaRDI QIDQ4850465
Publication date: 21 November 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
lambda calculusChurch-Rosser theoremfiniteness of developments theoremstandardisation theoremstrong normalisation theorem
Related Items (6)
Parametric parameter passing \(\lambda\)-calculus ⋮ Some properties of the -calculus ⋮ Analytic proof systems for \(\lambda\)-calculus: the elimination of transitivity, and why it matters ⋮ A direct proof of the confluence of combinatory strong reduction ⋮ The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective) ⋮ Normalization without reducibility
This page was built for publication:
