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

by T Hardin
Venue:Theoretical Computer Science