Martin-Löf identity types in C-systems Globally +-regular varieties and the minimal model program for threefolds in mixed characteristic A priori bounds for GIETs, affine shadows and rigidity of foliations in genus two
Author(s)
Bibliographic Information
Martin-Löf identity types in C-systems . Globally +-regular varieties and the minimal model program for threefolds in mixed characteristic . A priori bounds for GIETs, affine shadows and rigidity of foliations in genus two
(Publications mathématiques, no. 138)
Institut des hautes études scientifiques , Springer, 2023
Available at / 3 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
Includes bibliographical references