14 citations · 58 across the 10 of their papers we have counts for
1 paper · 2 filters
Gyesik Lee, Benjamin Werner
We present a set-theoretic, proof-irrelevant model for Calculus of Constructions (CC) with predicative induction and judgmental equality in Zermelo-Fraenkel set theory with an axio…