A simple proof of second-order strong normalization with permutative conversions

Short proofs of normalization for the simply- typed λ-calculus, permutative conversions and Gödel's T

Felix Joachimski, Ralph Matthes · Archive for Mathematical Logic · 2003 · 96 citations

Computing, Computer Science, Algebra +9

A short proof of the strong normalization of classical natural deduction with disjunction

René David, Karim Nour · Journal of Symbolic Logic · 2003 · 53 citations · Full text

Computing, Computer Science, Mathematics +7

On the Strong Normalisation of Intuitionistic Natural Deduction with Permutation-Conversions

Philippe de Groote · Information and Computation · 2002 · 36 citations

Humanities, Computer Science, Formal Methods +8

Non-strictly positive fixed points for classical natural deduction

Ralph Matthes · Annals of Pure and Applied Logic · 2004 · 26 citations

Natural Sciences, Mathematics, Set Theory +8