4 citations · 11 across the 4 of their papers we have counts for
1 paper · 1 filter
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…