Aina Linn Georges

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Linear logic provides an elegant framework for modelling stateful, imperative and concurrent systems by viewing a context of assumptions as a set of resources. However, mechanizing the meta-theory of such systems remains a challenge, as we need to manage and reason about mixed contexts of linear and intuitionistic assumptions. We present Lincx, a contextual(More)
  • 1