A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods

Get full text

Relating Functional and Imperative Session Types

Get full text

A Functional Abstraction of Typed Invocation Contexts

Get full text

Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model

Get full text

Distributed Asynchronous Games With Causal Memory are Undecidable

Get full text

Minimality Notions via Factorization Systems and Examples

Get full text

The Theory of Universal Graphs for Infinite Duration Games

Get full text

Linear Dependent Type Theory for Quantum Programming Languages

Get full text

Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types

Get full text

Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays

Get full text

Disjunctive bases: normal forms and model theory for modal logics

Get full text

Small Promise CSPs that reduce to large CSPs

Get full text

Limits of real numbers in the binary signed digit representation

Get full text

Strongly-Normalizing Higher-Order Relational Queries

Get full text

Typability and Type Inference in Atomic Polymorphism

Get full text

The Third Trick

Get full text

Instance reducibility and Weihrauch degrees

Get full text

Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy

Get full text

Moss' logic for ordered coalgebras

Get full text

One-Clock Priced Timed Games with Negative Weights

Get full text