Call-by-name Gradual Type Theory

Get full text

Probabilistic logics based on Riesz spaces

Get full text

Language Preservation Problems in Parametric Timed Automata

Get full text

A Categorical Reconstruction of Quantum Theory

Get full text

Non-idempotent types for classical calculi in natural deduction style

Get full text

Modalities in homotopy type theory

Get full text

On the logical complexity of cyclic arithmetic

Get full text

Concurrency and Probability: Removing Confusion, Compositionally

Get full text

Relational $star$-Liftings for Differential Privacy

Get full text

Logical and Algebraic Characterizations of Rational Transductions

Get full text

On Functions Weakly Computable by Pushdown Petri Nets and Related Systems

Get full text

Definable isomorphism problem

Get full text

A Curry-Howard Approach to Church's Synthesis

Get full text

Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity

Get full text

Computing the Width of Non-deterministic Automata

Get full text

A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra

Get full text

Flow Logic

Get full text

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