Confluence results for the pure strong categorical logic CCL. *-calculi as subsystems (1989)

by Th'er`ese Hardin
Venue:of CCL. Theoretical Computer Science