A dependently-typed calculus of event telicity and culminativity

Pavel Kovalev, Carlo Angiuli

We present a dependently-typed cross-linguistic framework for analyzing the telicity and culminativity of events, accompanied by examples of using our framework to model English se…