3 citations · 4 across the 2 of their papers we have counts for
1 paper · 1 filter
Brigitte Pientka, David Thibodeau, Andreas Abel +2
We describe a Martin-Löf-style dependent type theory, called Cocon, that allows us to mix the intensional function space that is used to represent higher-order abstract syntax (HOA…