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

Get full text

Game Comonads & Generalised Quantifiers

Get full text

Coalgebraic Satisfiability Checking for Arithmetic $mu$-Calculi

Get full text

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

Get full text

Many-valued coalgebraic logic over semi-primal varieties

Get full text

Operations on Fixpoint Equation Systems

Get full text

Twin-width and permutations

Get full text

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

Get full text

Simulations for Event-Clock Automata

Get full text

On the Satisfiability of Local First-Order Logics with Data

Get full text

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

Get full text

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

Get full text

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

Get full text

Transpension: The Right Adjoint to the Pi-type

Get full text

An implicit function theorem for the stream calculus

Get full text

On the Metric Temporal Logic for Continuous Stochastic Processes

Get full text

Linear-time logics -- a coalgebraic perspective

Get full text

Branch-Well-Structured Transition Systems and Extensions

Get full text

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems

Get full text

Addition and Differentiation of ZX-diagrams

Get full text