×

The Church-Rosser theorem for the typed lambda-calculus with pairing pairing. (English) Zbl 0476.03026


MSC:

03B40 Combinatory logic and lambda calculus

Citations:

Zbl 0423.03009
PDF BibTeX XML Cite
Full Text: DOI