logic, coherence and dinaturality (1993)

by R Blute, ‘Linear
Venue:Theoretical Computer Science