Surjective Pairing and Strong Normalisation: two themes in -calculus (1987)

by R de Vrijer