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.