Con uence Results for the Pure Strong Categorical Combinatory Logic CCL: -calculi as (1989)

by T Hardin
Venue:Subsystems of CCL, Theoretical Computer Science 65