.png){kind=icon}
.png){kind=icon}
Return
Constructive Dynamic Syntax
.png){kind=icon}
OA
AI
DOI：10.3390/languages10110269.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
This paper explores the integration of constructive type theory in the tradition of Martin L & ouml;f into Dynamic Syntax.
Keywords:
dependent types
dynamic syntax
adjectives
type theory
rich typing
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.