On categorical semantics for the exponential modality in linear logic:
and specifically as the comonad induced from an adjunction between ordinary types and linear types:
On monads in computer science:
Last revised on November 10, 2022 at 16:06:15. See the history of this page for a list of all contributions to it.