85 citations · 103 across the 13 of their papers we have counts for
1 paper · 2 filters
Hugo Herbelin, Arnaud Spiwack
We propose an extension of pure type systems with an algebraic presentation of inductive and co-inductive type families with proper indices. This type theory supports coercions tow…