A Rewriting View of Simple Typing
An Optimised Flow for Futures: From Theory to Practice
Une g\'{e}n\'{e}ralisation du crit\`{e}re de Boulier -- Buchberger pour
  le calcul des ensembles caract\'{e}ristiques d'id\'{e}aux diff\'{e}rentiels Projective representation theory for compact quantum groups and the
  quantum Baum-Connes assembly map Operations for Autonomous Spacecraft A mathematical comment on gravitational waves SnapMode: An Intelligent and Distributed Large-Scale Fashion Image
  Retrieval Platform Based On Big Data and Deep Generative Adversarial Network
  Technologies Clusters die hard: Time-correlated excitation in the Hamiltonian Mean
  Field model An Algebraic Approach to the Control of Decentralized Systems Kernel approximation on algebraic varieties Posture Recognition in the Critical Care Settings using Wearable Devices Transfer results for Frobenius extensions WONDER: Weighted one-shot distributed ridge regression in high
  dimensions Witten deformed exterior derivative and Bessel functions Mitigating long transient time in deterministic systems by resetting Stokes phenomena, Poisson-Lie groups and quantum groups A GAP package for braid orbit computation, and applications Pulsating flow and boundary layers in viscous electronic hydrodynamics
cs.PL