Dialectica Comonads

Author

Valeria de Paiva

Doi

10.4230/LIPIcs.CALCO.2021.3