共 50 条
- [42] Kripke-Joyal forcing for type theory and uniform fibrations SELECTA MATHEMATICA-NEW SERIES, 2024, 30 (04):
- [43] Generalized symmetries in F-theory and the topology of elliptic fibrations SCIPOST PHYSICS, 2022, 13 (02):
- [45] Local structure of principally polarized stable Lagrangian fibrations Minimal Models and Extreme Rays (Kyoto, 2011), 2016, 70 : 247 - 275