A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus.

Tom Gundersen, Willem Heijltjes, Michel Parigot

Browse the full LPAR paper archive.