Categorical models of Linear Logic with fixed points of formulas.

Thomas Ehrhard, Farzad Jafarrahmani

Browse the full LICS paper archive.