We study the expressive power of the static type system of the Nested Relational Calculus NRC and show that on so-called homogeneous input and output types, the NRC type system is expressively complete: every untyped but homogeneously well-defined NRC expression can be equivalently expressed by a well-typed expression. The NRC static type system hence does not limit the expressive power of the ...

The first anhydrous molecular complexes of uranium(III) chloride, soluble in polar aprotic solvents, are reported, including the structures of the dimeric [UCl3(py)4]2 and the trimetallic [UCl(py)4(μ-Cl)3U(py)2(μ-Cl)3UCl2(py)3].

Most of the traditional approaches to migration by downward extrapolation suffer from inaccuracies caused by using one-way propagation, both in the construction of such propagators in a variable background and the suppression of propagating waves generated by, e.g., steep reflectors. We present a new mathematical formulation and an algorithm for downward extrapolation that suppress only the eva...

The Type II Superstring amplitude to 1-loop order is given by an integral of ϑ-functions over the moduli space of tori, which diverges for real momenta. We construct the analytic continuation which renders this amplitude well defined and finite, and we find the expected poles and cuts in the complex momentum plane.