TY  - RPRT
TI  - A Type Theory for Defining Logics and Proofs
AU  - Brigitte Pientka
AU  - David Thibodeau
AU  - Andreas Abel
AU  - Francisco Ferreira
AU  - Rebecca Zucchini
PY  - 2019
UR  - https://arxiv.org/abs/1905.02617
ID  - 1905.02617
ER  -