[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - A Type Theory for Defining Logics and Proofs
Pientka, Brigitte, Thibodeau, David, Abel, Andreas, Ferreira, Francisco, Zucchini, RebeccaYear:
2019
Language:
english
DOI:
10.1109/lics.2019.8785683
File:
PDF, 408 KB
english, 2019