TY - RPRT TI - Dependent Types for Pragmatics AU - Darryl McAdams AU - Jonathan Sterling PY - 2015 UR - https://arxiv.org/abs/1410.4639 ID - 1410.4639 ER -