activity
20162025
most citedA General Framework for the Semantics of Type Theory

23 citations · 34 across the 12 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

cs.LO2018★ 4 cited

Cubical Assemblies, a Univalent and Impredicative Universe and a Failure of Propositional Resizing

Taichi Uemura

We construct a model of cubical type theory with a univalent and impredicative universe in a category of cubical assemblies. We show that this impredicative universe in the cubical…