A Type Theory for Defining Logics and Proofs.

Brigitte Pientka, David Thibodeau, Andreas Abel, Francisco Ferreira, Rbecca Zucchini

Browse the full LICS paper archive.