Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (1997)

by Roberto Di Cosmo , Delia Kesner
Citations:22 - 4 self