TY  - RPRT
TI  - A dependently-typed calculus of event telicity and culminativity
AU  - Pavel Kovalev
AU  - Carlo Angiuli
PY  - 2026
DO  - 10.1017/s0960129526100516
UR  - https://arxiv.org/abs/2506.06968
ID  - 2506.06968
ER  -