6 citations · 14 across the 8 of their papers we have counts for
1 paper · 2 filters
Tesla Zhang, Valery Isaev
We propose an enhancement to inductive types and records in a dependent type theory, namely (co)conditions. With a primitive interval type, conditions generalize the cubical syntax…