Lifting Coalgebra Modalities and $mathsf{MELL}$ Model Structure to Eilenberg-Moore Categories

Get full text

The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter

Get full text

On completeness and parametricity in the realizability semantics of System F

Get full text

Scalar and Vectorial mu-calculus with Atoms

Get full text

On Free $omega$-Continuous and Regular Ordered Algebras

Get full text

On the enumeration of closures and environments with an application to random generation

Get full text

$aleph_1$ and the modal $mu$-calculus

Get full text

Rule Formats for Nominal Process Calculi

Get full text

The Complexity of Flat Freeze LTL

Get full text

The parameterized space complexity of model-checking bounded variable first-order logic

Get full text

Nash Equilibrium and Bisimulation Invariance

Get full text

On noncommutative extensions of linear logic

Get full text

Definability and Interpolation within Decidable Fixpoint Logics

Get full text

Higher-dimensional automata modeling shared-variable systems

Get full text

Regular tree languages in low levels of the Wadge Hierarchy

Get full text

A diagrammatic calculus of fermionic quantum circuits

Get full text

Interaction Graphs: Exponentials

Get full text

Approximability in the GPAC

Get full text

The Data Complexity of Ontology-Mediated Queries with Closed Predicates

Get full text

Alternating, private alternating, and quantum alternating realtime automata

Get full text