TY  - RPRT
TI  - Coming to Terms with Your Choices: An Existential Take on Dependent Types
AU  - Georg Stefan Schmid
AU  - Olivier Blanvillain
AU  - Jad Hamza
AU  - Viktor Kunčak
PY  - 2020
UR  - https://arxiv.org/abs/2011.07653
ID  - 2011.07653
ER  -