- Abstract syntax and variable binding M. Fiore G. Plotkin D. Turi Thu 04 December 2025
- Presenting Distributive Laws Marcello M. Bonsangue Helle Hvid Hansen Alexander Kurz Jurriaan Rot Thu 04 December 2025
- Simplification of Radicals with Applications to Solving Polynomial Equations Richard Zippel Wed 03 December 2025
- Induced subgraphs of hypercubes and a proof of the Sensitivity Conjecture Hao Huang Tue 02 December 2025
- Report on BCTCS 2010 Julian Bradfield Mary Cryan Tue 02 December 2025
- On the Monniaux Problem in Abstract Interpretation Nathanael Fijalkow Engel Lefaucheux Pierre Ohlmann Joël Ouaknine Amaury Pouly James Worrell Mon 01 December 2025
- Methodologies for transformations and memoing in applicative languages Alberto Pettorossi Mon 01 December 2025
- Solvability of the membership problem in finitely generated solvable matrix groups over number fields V. M. Kopytov Sun 30 November 2025
- A Categorical Programming Language Tatsuya Hagino Sat 29 November 2025
- Terminal sequences for accessible endofunctors James Worrell Fri 28 November 2025
- Bisimulation cant be traced Bard Bloom Sorin Istrail Albert R. Meyer Fri 28 November 2025
- Category theory for operational semantics Marina Lenisa John Power Hiroshi Watanabe Fri 28 November 2025
- General Decidability Results for Systems with Continuous Counters A.~R. Balasubramanian Matthew Hague Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche Thu 27 November 2025
- Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata Yong Li Soumyajit Paul Sven Schewe Qiyi Tang Wed 26 November 2025
- The Role of Logic and Automata in Understanding Transformers Anthony W. Lin Pablo Barcelo Wed 26 November 2025
- The realization of input-output maps using bialgebras Robert L. Grossman Richard G. Larson Wed 26 November 2025
- Algebraic Closure of Matrix Sets Recognized by 1-VASS Rida Ait El Manssour Mahsa Naraghi Mahsa Shirmohammadi James Worrell Wed 26 November 2025
- Immersion-based model predictive control of constrained nonlinear systems: Polyflow approximation Zheming Wang Raphael M. Jungers Wed 26 November 2025
- A Fixpoint Theorem for complete Categories. Joachim Lambek Mon 24 November 2025
- Coalgebraic Bisimulation-Up-To Jurriaan Rot Marcello Bonsangue Jan Rutten Fri 21 November 2025
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
