Page content
Type Theory Research Group
Research group
Active research
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.