research
∙
12/06/2022
Type Theories with Universe Level Judgements
The aim of this paper is to refine and extend Voevodsky's draft "A unive...
share
research
∙
12/15/2020
A Note on Generalized Algebraic Theories and Categories with Families
We give a new syntax independent definition of the notion of a generaliz...
research
∙
04/01/2019
