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.
Discover how the Dutch Book Theorem reveals profit opportunities in betting and finance when probabilities are misjudged.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback