On Higher Inductive Types in Cubical Type Theory
The directed plump ordering
Scaling of temporal entanglement in proximity to integrability Thermodynamics of Charged Kalb Ramond AdS black hole in presence of
  Gauss-Bonnet coupling OntoELAN: An Ontology-based Linguistic Multimedia Annotator QFT's With Action of Degree 3 and Higher and Degeneracy of Tensors Spin-neutral currents for spintronics Evidence for a continuum limit in causal set dynamics The constraint equations of Lovelock gravity theories: a new
  $\sigma_k$-Yamabe problem Global Reactions to the Cambridge Analytica Scandal: An Inter-Language
  Social Media Study Comment on: Uncommonly accurate energies for the general quartic
  oscillator, Int. J. Quantum Chem., e26554 (2020), by P.Okun and K.Burke Dimension Reduction Using Active Manifolds On symmetries of Hamiltonians describing systems with arbitrary spins Les composantes obscures de l'Univers Finite temperature and confinement along the extra dimensions studied on
  a five-dimensional U(1) lattice gauge model Do not rug on me: Zero-dimensional Scam Detection Distributed Estimation and Learning over Heterogeneous Networks Multi-class Gaussian Process Classification with Noisy Inputs Conservation laws, radiative decay rates, and excited state localization
  in organometallic complexes with strong spin-orbit coupling Programming scale-free optics in disordered ferroelectrics
cs.LO math.LO