Confluence Results for the Pure Strong Categorical Logic CCL : λ-calculi as Subsystems of CCL (0)

by T Hardin
Venue:Bridging de Bruijn Indices and Variable Names in Explicit Substitutions Calculi