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:

• Dialogue
• IncReD

Year:

2018

Type of Publication:

In Proceedings

Book title:

Conference on Dynamic Syntax

Address:

Edinburgh

Month:

April