Publication:5477358
From MaRDI portal
zbMath1102.03008MaRDI QIDQ5477358
Publication date: 3 July 2006
second-order polymorphic lambda-calculus; strong normalization of Parigot's second-order lambda-mu-calculus
Related Items
Strong normalization results by translation, Strong normalization proofs by CPS-translations, Strong normalization of classical natural deduction with disjunctions