129 citations · 491 across the 32 of their papers we have counts for
1 paper · 1 filter
Yoshihiro Maruyama
Tripos theory constructs categorical models of higher-order logic from indexed logical data. We develop higher tripos theory and higher tripos-to-topos construction recovering the…