Arithmetical proofs of strong normalization results for symmetric λ-calculi

by René David , Karim Nour
Citations:17 - 7 self