Efficient lambda encodings for Mendler-style coinductive types in
  Cedille
A Theory of Explicit Substitutions with Safe and Full Composition
Product structure and regularity theorem for totally nonnegative flag
  varieties On Species Persistence-Time Distributions Optimizing relinearization in circuits for homomorphic encryption Some remarks on groupoids and small categories Theoretical Insights into Mechanisms of Stochastic Gating in
  Channel-Facilitated Molecular Transport Brain synchronizability, a false friend New Optimization Methods for Converging Perturbative Series with a Field
  Cutoff The Lichtenbaum conjecture for abelian extension of imaginary quadratic
  fields Attractive interaction between ions inside a quantum plasma structure Direct Opto-Electronic Imaging of 2D Semiconductor - 3D Metal Buried
  Interfaces Semi-Lagrangian Subgrid Reconstruction for Advection-Dominant Multiscale
  Problems CLA-NeRF: Category-Level Articulated Neural Radiance Field Gittins' theorem under uncertainty Data-driven Abstractions with Probabilistic Guarantees for Linear PETC
  Systems Aging arcsine law in Brownian motion and its generalization
cs.PL cs.LO