23 citations · 55 across the 6 of their papers we have counts for
1 paper · 1 filter
Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau +1
We investigate gradual variations on the Calculus of Inductive Construction (CIC) for swifter prototyping with imprecise types and terms. We observe, with a no-go theorem, a crucia…