Two Decreasing Measures for Simply Typed λ-Terms.

Pablo Barenbaum, Cristian Sottile

Browse the full FSCD paper archive.