The ant-lion paradigm for strong normalization
From MaRDI portal
Publication:1336047
DOI10.1006/inco.1994.1079zbMath0817.03006OpenAlexW2020671663MaRDI 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
Related Items (7)
Some results on numerical systems in \(\lambda\)-calculus ⋮ 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 ⋮ Taming the wild ant-lion; a counterexample to a conjecture of Böhm
This page was built for publication: The ant-lion paradigm for strong normalization
