3 citations · 5 across the 4 of their papers we have counts for
1 paper · 2 filters
Jonathan Chan, Stephanie Weirich
In dependent type theory, being able to refer to a type universe as a term itself increases its expressive power, but requires mechanisms in place to prevent Girard's paradox from…