A double category theoretic analysis of graded linear exponential comonads
scientific article; zbMATH DE number 6904532