Cost Preserving Bisimulations for Probabilistic Automata

Get full text

Algorithmic randomness for Doob's martingale convergence theorem in continuous time

Get full text

On the Relation of Interaction Semantics to Continuations and Defunctionalization

Get full text

An Effect System for Algebraic Effects and Handlers

Get full text

Call-by-value, call-by-name and the vectorial behaviour of the algebraic lambda-calculus

Get full text

Computing a Solution of Feigenbaum's Functional Equation in Polynomial Time

Get full text

Stochastic Timed Automata

Get full text

Decidability Problems for Actor Systems

Get full text

The Power of Priority Channel Systems

Get full text

On the strictness of the quantifier structure hierarchy in first-order logic

Get full text

Connection Matrices and the Definability of Graph Parameters

Get full text

Full abstraction for fair testing in CCS (expanded version)

Get full text

Constructing categories and setoids of setoids in type theory

Get full text

Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited

Get full text

Improving legibility of natural deduction proofs is not trivial

Get full text

On Separation by Locally Testable and Locally Threshold Testable Languages

Get full text

Fourier spectra of measures associated with algorithmically random Brownian motion

Get full text

Inferring Algebraic Effects

Get full text

Observationally-induced algebras in Domain Theory

Get full text

Corecursive Algebras, Corecursive Monads and Bloom Monads

Get full text