Linear logic, coherence, and dinaturality (1993)

by R Blute
Venue:Theoretical Computer Science