astronomy instrumentation 1dark sector modifications 1exoplanet biosignatures 1habitable worlds observatory 1high-contrast imaging 1hot jupiters 1hubble tension 1minisuperspace 1phase-space methods 1planetary inflation 1quantum cosmology 1radial-velocity follow-up 1
From the 3 of 33 papers with an AI index.
11 citations
- Institute of Astrophysics and Space SciencesPT17 papers
- Sorbonne UniversitéFR16 papers
- Université Paris CitéFR16 papers
- University of GenevaCH16 papers
- Centre National de la Recherche ScientifiqueFR15 papers
- Instituto de Astrofísica de CanariasES15 papers
- Leiden UniversityNL15 papers
- University of OxfordGB15 papers
- Arcetri Astrophysical ObservatoryIT14 papers
- Astronomical Institute of the Slovak Academy of SciencesSK14 papers
- Max Planck Institute for AstronomyDE14 papers
- Max Planck Institute for Extraterrestrial PhysicsDE14 papers
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
MaudeTypedLog: A Typed Interpreter for Prolog in Maude
Enrique Gallifa-Tronch, João Barbosa, Santiago Escobar
Prolog is traditionally thought of as an untyped logic programming language, although there are queries that result in a type error. Several attempts of statically introducing a ty…
cs.LO2026
Linearising Explicit Substitutions using Intersection Types
Ana Jorge Almeida, Sandra Alves, Mário Florido
Term expansion was originally introduced in 2004 as a way to relate terms typed in an intersection type system with linear terms. Recently, new applications of term expansion inclu…