Title: Formal Semantics in Modern Type Theories