Linear logic, coherence and dinaturality (1993)

by R Blute
Venue:Theoretical Computer Science