TY  - RPRT
TI  - Categorical models of Linear Logic with fixed points of formulas
AU  - Thomas Ehrhard
AU  - Farzad Jafarrahmani
PY  - 2021
UR  - https://arxiv.org/abs/2011.10209
ID  - 2011.10209
ER  -