R. Maier

activity

20092026

most citedBouncing models with a cosmological constant

23 citations · 135 across the 21 of their papers we have counts for

collaborators

Showing 2026Show all

2 papers · 1 filter

cs.PL2026

Typechecking without Minimum Types: Finite Bases and Backward Checking for $F_{<:}^{⊤}$

Mingkun Xiao, Yixuan Sun

System $F_{<:}^{⊤}$ has decidable subtyping but lacks minimum types. We prove that typechecking is decidable for arbitrary explicitly annotated terms with unrestricted subsumpti…

gr-qc2026

Buchdahl Limit and TOV Equations in Interacting Vacuum Scenarios

Rodrigo Maier

We investigate the stability of ultra-compact stellar configurations in the context of an interacting vacuum component. By extending the Tolman-Oppenheimer-Volkoff equations to inc…

Typechecking without Minimum Types: Finite Bases and Backward Checking for F<:⊤​

Buchdahl Limit and TOV Equations in Interacting Vacuum Scenarios

Typechecking without Minimum Types: Finite Bases and Backward Checking for $F_{<:}^{⊤}$