kovalev-2026-a:
  type: article
  title: A dependently-typed calculus of event telicity and culminativity
  author:
  - Kovalev, Pavel
  - Angiuli, Carlo
  date: 2026
  url: http://dx.doi.org/10.1017/s0960129526100516
  serial-number:
    doi: 10.1017/s0960129526100516
    issn: 1469-8072
  parent:
    type: periodical
    title: Mathematical Structures in Computer Science
    publisher: Cambridge University Press (CUP)
    volume: 36