Title: Surjective pairing and strong normalization
Subjects: Lambda calculus