Cubical Assemblies and the Independence of the Propositional Resizing Axiom
Author: Taichi Uemura
Paper Information
| Title: | Cubical Assemblies and the Independence of the Propositional Resizing Axiom |
| Authors: | Taichi Uemura |
| Proceedings: | HoTT/UF Abstracts |
| Editors: | Benedikt Ahrens, Simon Huber and Anders Mörtberg |
| Keywords: | Cubical Type Theory, Realizability, Propositional Resizing |
| Abstract: | ABSTRACT. |
| Pages: | 2 |
| Talk: | Jul 07 11:30 (Session 26F) |
| Paper: |  |