TY  - RPRT
TI  - Space-Valued Diagrams, Type-Theoretically (Extended Abstract)
AU  - Nicolai Kraus
AU  - Christian Sattler
PY  - 2017
UR  - https://arxiv.org/abs/1704.04543
ID  - 1704.04543
ER  -