A Type Theory for Defining Logics and Proofs - Pientka, Brigitte; Thibodeau, David; Abel, Andreas; Ferreira, Francisco; Zucchini, Rebecca (2019)
Keywords: Computer Science - Logic in Computer Science; Computer Science - Programming Languages