Strong normalization for typed terms with surjective pairing.

• 1 October 1986
• journal article
• Published by Duke University Press in Notre Dame Journal of Formal Logic
• Vol. 27  (4) , 547-550
• https://doi.org/10.1305/ndjfl/1093636767

Abstract