@conference{Cooper.Larsson_DS_2018, author = "Robin Cooper and Staffan Larsson", abstract = "This abstract sketches how part of Dynamic Syntax can be rendered in TTR, a Type Theory with Records .", address = "Edinburgh", booktitle = "Conference on Dynamic Syntax", month = "apr", title = "{D}ynamic {S}yntax in {T}ype {T}heory with {R}ecords", url = "http://www.christinehowes.com/papers/Cooper-Larsson-DS-2017.pdf", year = "2018", }