A Double Category Theoretic Analysis of Graded Linear Exponential Comonads.

Shin-ya Katsumata

Browse the full FOSSACS paper archive.