14 citations · 58 across the 10 of their papers we have counts for
1 paper · 2 filters
Benjamin Werner
We present a type theory with some proof-irrelevance built into the conversion rule. We argue that this feature is useful when type theory is used as the logical formalism underlyi…