Authors

T. Uemura

Date (dd-mm-yyyy)

2019-08-16

Title

A General Framework for the Semantics of Type Theory

Publication Year

2019-08-16

Document type

Abstract

Permalink

https://hdl.handle.net/11245.1/6e6de2e0-2b27-4698-99f3-5b6d8258fb2b