@article{kovalev-2026-a, title={A dependently-typed calculus of event telicity and culminativity}, volume={36}, ISSN={1469-8072}, url={http://dx.doi.org/10.1017/s0960129526100516}, DOI={10.1017/s0960129526100516}, journal={Mathematical Structures in Computer Science}, publisher={Cambridge University Press (CUP)}, author={Kovalev, Pavel and Angiuli, Carlo}, year={2026} }