On the denotation of circular and non-wellfounded proofs in linear logic with fixed points.

Thomas Ehrhard, Farzad Jafarrahmani, Alexis Saurin

Browse the full LICS paper archive.