Perpetuality in a named lambda calculus with explicit substitutions
From MaRDI portal
Publication:2713353
DOI10.1017/S0960129500003248zbMath0972.68027OpenAlexW2045801884MaRDI QIDQ2713353
Publication date: 7 May 2001
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129500003248
Related Items
Resource operators for \(\lambda\)-calculus ⋮ Normalisation for higher-order calculi with explicit substitutions ⋮ Strong cut-elimination in sequent calculus using Klop's ι-translation and perpetual reductions
Uses Software
