Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space

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

On the Home-Space Problem for Petri Nets and its Ackermannian Complexity

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

Kleene Theorem for Higher-Dimensional Automata

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

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints

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

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces

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

Fine-grained Meta-Theorems for Vertex Integrity

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

A Truly Concurrent Semantics for Reversible CCS

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

A Calculus for Scoped Effects & Handlers

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

Refl-Spanners: A Purely Regular Approach to Non-Regular Core Spanners

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

Reasonable Space for the ${lambda}$-Calculus, Logarithmically

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

On the Semantic Expressiveness of Iso- and Equi-Recursive Types

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

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks

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

On the relative asymptotic expressivity of inference frameworks

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

Termination of Graph Transformation Systems Using Weighted Subgraph Counting

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

Stochastic Processes with Expected Stopping Time

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

Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages

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

String diagrams for Strictification and Coherence

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

Sum and Tensor of Quantitative Effects

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

Categorical composable cryptography: extended version

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

A cone-theoretic barycenter existence theorem

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