research
∙
05/07/2019
A Type Theory for Defining Logics and Proofs
We describe a Martin-Löf-style dependent type theory, called Cocon, that...
research
∙
01/10/2019