Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL
\(\lambda \) -calculus with surjective pairing
scientific article; zbMATH DE number 4160689
scientific article