WG6 Type Theory
The aim of this WG is to develop a comprehensive theory of type theories, which (i) accounts for its domain-specific variants and the type theories currently used in proof assistants, and (ii) allows for the modular reasoning about their syntax and semantics.
Activities
- 20-21 May 2022: kickoff meeting Syntax and Semantics of Type Theories, Stockholm University, Sweden