Jean-Simon Pacaud Lemay

Coderelictions for Free Exponential Modalities

2021 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

In a categorical model of the multiplicative and exponential fragments of intuitionistic linear logic (MELL), the exponential modality is interpreted as a comonad ! such that each cofree !-coalgebra !A comes equipped with a natural …