GitHub repository: manosplitsis/diploma-thesis
Primary language: TeX
Created: 2018-04-23T15:02:24Z
Description: A review of categorical semantics of dependent type theory.