45 citations · 72 across the 11 of their papers we have counts for
1 paper · 2 filters
César Domínguez, Julio Rubio
Computational content encoded into constructive type theory proofs can be used to make computing experiments over concrete data structures. In this paper, we explore this possibili…