S0GlobalisationTypesTheory.pdf