Sharing proofs with predicative theories through universe-polymorphic elaboration

2024-9-10

QBF Merge Resolution is powerful but unnatural

2024-9-10

Simply typed convertibility is TOWER-complete even for safe lambda-terms

2024-9-5

Preservation theorems for Tarski's relation algebra

2024-9-4

Half-Positional Objectives Recognized by Deterministic B\"uchi Automata

2024-8-29

Zeta Functions and the (Linear) Logic of Markov Processes

2024-8-29

On two-variable guarded fragment logic with expressive local Presburger constraints

2024-8-27

Controller Synthesis for Timeline-based Games

2024-8-27

Deterministic pushdown automata can compress some normal sequences

2024-8-12

Complexity results for modal logic with recursion via translations and tableaux

2024-8-7

Isolated Suborders and their Application to Counting Closure Operators

2024-8-5

Decidability for Sturmian words

2024-8-5

A Session Type System for Asynchronous Unreliable Broadcast Communication

2024-8-5

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications

2024-7-29

Game Comonads & Generalised Quantifiers

2024-7-23

Coalgebraic Satisfiability Checking for Arithmetic $\mu$-Calculi

2024-7-23

Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory

2024-7-22

Many-valued coalgebraic logic over semi-primal varieties

2024-7-17

Operations on Fixpoint Equation Systems

2024-7-10

Twin-width and permutations

2024-7-8

Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines

2024-7-3

Simulations for Event-Clock Automata

2024-7-2

On the Satisfiability of Local First-Order Logics with Data

2024-7-2

Robust non-computability of dynamical systems and computability of robust dynamical systems

2024-6-26

$\text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity

2024-6-26

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation

2024-6-24

Transpension: The Right Adjoint to the Pi-type

2024-6-19

An implicit function theorem for the stream calculus

2024-6-18

Linear-time logics -- a coalgebraic perspective

2024-6-13

On the Metric Temporal Logic for Continuous Stochastic Processes

2024-6-13

Branch-Well-Structured Transition Systems and Extensions

2024-6-12

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems

2024-6-5

Executable First-Order Queries in the Logic of Information Flows

2024-5-22

Addition and Differentiation of ZX-diagrams

2024-5-20

The Pebble-Relation Comonad in Finite Model Theory

2024-5-17

On Tools for Completeness of Kleene Algebra with Hypotheses

2024-5-16

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features

2024-5-14

Encodability Criteria for Quantum Based Systems

2024-4-30

A Strong Bisimulation for a Classical Term Calculus

2024-4-18

Inapproximability of Unique Games in Fixed-Point Logic with Counting

2024-4-10

Boolean proportions

2024-4-9

A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential

2024-4-4

The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete

2024-3-22

Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise

2024-3-20

Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials

2024-3-8

Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing

2024-3-7

An Analysis of Tennenbaum's Theorem in Constructive Type Theory

2024-3-7

Variable binding and substitution for (nameless) dummies

2024-3-1

Stabilized profunctors and stable species of structures

2024-2-29

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests

2024-2-28