The ant-lion paradigm for strong normalization
From MaRDI portal
Publication:1336047
DOI10.1006/inco.1994.1079zbMath0817.03006MaRDI QIDQ1336047
Benedetto Intrigila, Corrado Böhm
Publication date: 20 November 1994
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1994.1079
03B40: Combinatory logic and lambda calculus
Related Items
Taming the wild ant-lion; a counterexample to a conjecture of Böhm, On the longest perpetual reductions in orthogonal expression reduction systems, Semantical analysis of perpetual strategies in \(\lambda\)-calculus, Orders, reduction graphs and spectra, Perpetuality and uniform normalization in orthogonal rewrite systems, Conservation and uniform normalization in lambda calculi with erasing reductions, Some results on numerical systems in \(\lambda\)-calculus