University of Gothenburg
  2. Research
  3. Find research
  4. Type Theory Research Group

Type Theory Research Group

Research group
Active research
Website
CLASP Type Theory Research Group page
Project owner
Department of Philosohy, Linguistics and Theory of Science (and the CLASP project)
Research partners
CLASP (Centre for Linguistic Theory and Studies in Probability)
Area
Culture and languages Science and Information Technology
Topic
Linguistics Language Technology (Computational Linguistics)

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.

Last modified