Publication:4263879
From MaRDI portal
zbMath0931.03027MaRDI QIDQ4263879
Publication date: 9 March 2000
strong normalisation; explicit substitution; simply-typed lambda-calculus; \(\lambda\sigma\)-calculus; reducibility method
03B40: Combinatory logic and lambda calculus
Related Items