www.christinehowes.com

Dynamic Syntax in Type Theory with Records

Abstract:
This abstract sketches how part of Dynamic Syntax can be rendered in TTR, a Type Theory with Records .
Research areas:
Year:
2018
Type of Publication:
In Proceedings
Book title:
Conference on Dynamic Syntax
Address:
Edinburgh
Month:
April
Hits: 10