Shortest paths in one-counter systems

Subjects: “…Computer Science & Information Science…”
Get full text

Thin Games with Symmetry and Concurrent Hyland-Ong Games

Subjects: “…Computer Science & Information Science…”
Get full text

Behavioural equivalences for timed systems

Subjects: “…Computer Science & Information Science…”
Get full text

Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence

Subjects: “…Computer Science & Information Science…”
Get full text

Sahlqvist via Translation

Subjects: “…Computer Science & Information Science…”
Get full text

Algebra, coalgebra, and minimization in polynomial differential equations

Subjects: “…Computer Science & Information Science…”
Get full text

Size, Cost, and Capacity: A Semantic Technique for Hard Random QBFs

Subjects: “…Computer Science & Information Science…”
Get full text

The Subpower Membership Problem for Finite Algebras with Cube Terms

Subjects: “…Computer Science & Information Science…”
Get full text

Efficient reduction of nondeterministic automata with application to language inclusion testing

Subjects: “…Computer Science & Information Science…”
Get full text

Relative Entailment Among Probabilistic Implications

Subjects: “…Computer Science & Information Science…”
Get full text

A sequent calculus for a semi-associative law

Subjects: “…Computer Science & Information Science…”
Get full text

A Light Modality for Recursion

Subjects: “…Computer Science & Information Science…”
Get full text

Shrub-depth: Capturing Height of Dense Graphs

Subjects: “…Computer Science & Information Science…”
Get full text

Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture

Subjects: “…Computer Science & Information Science…”
Get full text

Extending set functors to generalised metric spaces

Subjects: “…Computer Science & Information Science…”
Get full text

Models of Type Theory Based on Moore Paths

Subjects: “…Computer Science & Information Science…”
Get full text

Natural Transformations as Rewrite Rules and Monad Composition

Subjects: “…Computer Science & Information Science…”
Get full text

Probabilistic call by push value

Subjects: “…Computer Science & Information Science…”
Get full text

Subsumption Algorithms for Three-Valued Geometric Resolution

Subjects: “…Computer Science & Information Science…”
Get full text

Axioms for Modelling Cubical Type Theory in a Topos

Subjects: “…Computer Science & Information Science…”
Get full text