A Model for Attention-Driven Judgements in Type Theory with Records Simon Dobnik author John D Kelleher author 2016-07 text Proceedings of the 20th Workshop on the Semantics and Pragmatics of Dialogue - Full Papers SEMDIAL New Brunswick, NJ conference publication dobnik-kelleher-2016-model http://semdial.org/anthology/Z16-Dobnik_semdial_0007.pdf 2016-07