Abstract: This paper investigates the denotational invariants of non-wellfounded and circular proofs of linear logic with least and greatest fixed points, μLL, by providing a categorical semantics.
Sign up for the Slatest to get the most insightful analysis, criticism, and advice out there, delivered to your inbox daily.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback