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

Get full text

Sahlqvist via Translation

Get full text

Algebra, coalgebra, and minimization in polynomial differential equations

Get full text

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

Get full text

The Subpower Membership Problem for Finite Algebras with Cube Terms

Get full text

Efficient reduction of nondeterministic automata with application to language inclusion testing

Get full text

Relative Entailment Among Probabilistic Implications

Get full text

A sequent calculus for a semi-associative law

Get full text

A Light Modality for Recursion

Get full text

Shrub-depth: Capturing Height of Dense Graphs

Get full text

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

Get full text

Extending set functors to generalised metric spaces

Get full text

Models of Type Theory Based on Moore Paths

Get full text

Natural Transformations as Rewrite Rules and Monad Composition

Get full text

Probabilistic call by push value

Get full text

Subsumption Algorithms for Three-Valued Geometric Resolution

Get full text

Axioms for Modelling Cubical Type Theory in a Topos

Get full text

One-way definability of two-way word transducers

Get full text

Taylor expansion in linear logic is invertible

Get full text

Model Checking Flat Freeze LTL on One-Counter Automata

Get full text