Skip to main content
Breadcrumb

Type Theory Research Group

Research group

Short description

The Type Theory research group is devoted to the study of Type Theoretical methods for Computational Linguistics and Formal Semantics. The group is led by Stergios Chatzikyriakidis and involves a number of researchers interested in the study and application of Type Theories in Computational Linguistics and Formal Semantics.