francalanza-2026-grits:
  type: article
  title: 'Grits: A message-passing programming language based on the semi-axiomatic sequent calculus'
  author:
  - Francalanza, Adrian
  - Tabone, Gerard
  - Pfenning, Frank
  date: 2026-03
  page-range: '103360'
  url: http://dx.doi.org/10.1016/j.scico.2025.103360
  serial-number:
    doi: 10.1016/j.scico.2025.103360
    issn: 0167-6423
  parent:
    type: periodical
    title: Science of Computer Programming
    publisher: Elsevier BV
    volume: 248