Algebraic cocompleteness and finitary functors

Get full text

Predicative theories of continuous lattices

Get full text

A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice

Get full text

Star Games and Hydras

Get full text

Interface Modeling for Quality and Resource Management

Get full text

Theories of real addition with and without a predicate for integers

Get full text

Presentable signatures and initial semantics

Get full text

Computable analysis and notions of continuity in Coq

Get full text

Partially Ordered Automata and Piecewise Testability

Get full text

Decidability for Entailments of Symbolic Heaps with Arrays

Get full text

Parametric updates in parametric timed automata

Get full text

DRAT and Propagation Redundancy Proofs Without New Variables

Get full text

Failure Trace Semantics for a Process Algebra with Time-outs

Get full text

LNL-FPC: The Linear/Non-linear Fixpoint Calculus

Get full text

Constructing Higher Inductive Types as Groupoid Quotients

Get full text

Reachability Switching Games

Get full text

Logic for exact real arithmetic

Get full text

Algebraic Language Theory for Eilenberg--Moore Algebras

Get full text

Sculptures in Concurrency

Get full text

Direct spectra of Bishop spaces and their limits

Get full text