Programme synopsis‎ > ‎Theory‎ > ‎

Dependent types


 Krasimir Angelov, and Ramona Enache


Grammatical Framework is all about grammars and languages but in many cases the full description of a language goes beyond the pure syntax and there are phenomena that can described only if the syntax is complemented with semantics. For that purpose GF has in its core a Logical Framework which complements the Grammatical Framework. In this lecture, we will talk about the theory of types as a foundation of logic and we will extend the notion of syntactic categories in GF with the concept of dependent types. We will see examples for languages which have both syntax and nontrivial semantics.

 Date and Time