Merkliste 
 1 Ergebnisse 
 
1

Doctrines, modalities and comonads:

Dagnino, Francesco ; Rosolini, Giuseppe
Mathematical Structures in Computer Science.  31 (2021)  7 - p. 769-798 , 2021