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