Semantics using Type Theory with Records

This course is the Gothenburg version of our courses last year at ESSLLI and NASSLLI. More details can be found on those sites.