Encyclopedias articles

Blog posts

  • Notation for focused proof systems, The Proof Theory Blog, 17 October 2022 (pdf).
  • LK vs LJ: An origin story for linear logic, The Proof Theory Blog, 6 July 2022 (pdf).
  • Review articles

    Glossy articles

    Newsletters articles

    Technical reports and other articles