Authors

T. Uemura

Date (dd-mm-yyyy)

2019-06-11

Title

A General Framework for the Semantics of Type Theory

Publication Year

2019-06-11

Document type

Abstract

Permalink

https://hdl.handle.net/11245.1/d95c37b7-3670-4fbc-9092-3816edf445a3