The Church-Rosser theorem for the typed $\lambda$-calculus with surjective pairing.

Open Access
Publisher Website
Google Scholar
Abstract
No abstract available