Surjective Pairing and Strong Normalization: Two Themes (1987)

by R C de Vrijer
Venue:in Lambda Calculus, Doctoral thesis