2025

  1. An Expressive Coalgebraic Modal Logic for Cellular Automata
    Henning Basold, Chase Ford, and Lulof PirĂ©e
    Apr 2025
    submitted
    DOI arXiv
  2. Separation Logic of Generic Resources via Sheafeology
    Berend Starkenburg, Henning Basold, and Chase Ford
    Aug 2025
    submitted
    DOI arXiv