3 citations · 5 across the 10 of their papers we have counts for
1 paper · 2 filters
Tristan Bice
We present two logical systems based on dependent types that are comparable to ZFC, both in terms of simplicity and having natural set theoretic interpretations. Our perspective is…