What Monads Can and Cannot Do with a Few Extra Pages

Get full text

Extended Stone Duality via Monoidal Adjunctions

Get full text

Decidability of extensions of Presburger arithmetic by generalised polynomials

Get full text

Programming Distributed Collective Processes in the eXchange Calculus

Get full text

MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras

Get full text

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms

Get full text

TSO Games -- On the decidability of safety games under the total store order semantics (extended LMCS version with appendix)

Get full text

FlexFringe: Modeling Software Behavior by Learning Probabilistic Automata

Get full text

Multi-representation associated to the numbering of a subbasis and formal inclusion relations

Get full text

Rigorous Function Calculi in Ariadne

Get full text

Enumeration Algorithms for Conjunctive Queries with Projection

Get full text

On the Unprovability of Circuit Size Bounds in Intuitionistic $mathsf{S}^1_2$

Get full text

Extensional and Non-extensional Functions as Processes

Get full text

Distributed controller synthesis for deadlock avoidance

Get full text

The Size-Change Principle for Mixed Inductive and Coinductive types

Get full text

Totality for Mixed Inductive and Coinductive Types

Get full text

Aczel-Mendler Bisimulations in a Regular Category

Get full text

Craig Interpolation for Decidable First-Order Fragments

Get full text

On Bisimilarity for Quasi-discrete Closure Spaces

Get full text

Coinductive Streams in Monoidal Categories

Get full text