TY  - RPRT
TI  - Cocon: Computation in Contextual Type Theory
AU  - Brigitte Pientka
AU  - Andreas Abel
AU  - Francisco Ferreira
AU  - David Thibodeau
AU  - Rebecca Zucchini
PY  - 2019
UR  - https://arxiv.org/abs/1901.03378
ID  - 1901.03378
ER  -