3 citations · 4 across the 2 of their papers we have counts for
1 paper · 2 filters
Brigitte Pientka, Andreas Abel, Francisco Ferreira +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…