Strong Normalisation of Cut-Elimination That Simulates beta-Reduction.

Kentaro Kikuchi, Stphane Lengrand

Browse the full FOSSACS paper archive.