A Double Category Theoretic Analysis of Graded Linear Exponential Comonads

Katsumata, Shin-ya·2018·Lecture Notes in Computer Science
DOI 10.1007/978-3-319-89366-2_6