"A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus."

Kentaro Kikuchi (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics