55 citations · 65 across the 4 of their papers we have counts for
5 papers
Typechecking without Minimum Types: Finite Bases and Backward Checking for
Mingkun Xiao, Yixuan Sun
System has decidable subtyping but lacks minimum types. We prove that typechecking is decidable for arbitrary explicitly annotated terms with unrestricted subsumpti…
Singularity-free cosmology from interactions in the dark sector
Molly Burkmar, Marco Bruni, Thomas Waters
We study the dynamics of Friedmann-Lemaître-Robertson-Walker models where a dark energy component with a quadratic equation of state (EoS) nonlinearly interacts with cold dark matt…
Emergent Universe from an Unstable de Sitter Phase
Molly Burkmar, Marco Bruni
In the Emergent scenario, the Universe should evolve from a non-singular state replacing the typical singularity of General Relativity, for any initial condition. For the scalar fi…
The interacting vacuum and tensions: a comparison of theoretical models
Marco Sebastianutti, Natalie B. Hogg, Marco Bruni
We analyse three interacting vacuum dark energy models with the aim of exploring whether the and tensions can be simultaneously resolved in such models. We present the…
Coupling of Radial and Axial non-Radial Oscillations of Compact Stars: Gravitational Waves from first-order Differential Rotation
A. Passamonti, M. Bruni, L. Gualtieri +2
We investigate the non-linear coupling between radial and non-radial oscillations of static spherically symmetric neutron stars as a possible mechanism for the generation of gravit…