Linked e-resources
Details
Table of Contents
Constructing a universe for the setoid model
Nominal Equational Problems
Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
Fixpoint Theory - Upside Down
"Most of"' leads to undecidability: Failure of adding frequencies to LTL
Combining Semilattices and Semimodules
One-way Resynchronizability of Word Transducers
Fair Refinement for Asynchronous Session Types
Running Time Analysis of Broadcast Consensus Protocols
Leafy automata for higher-order concurrency
Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic
Generalized Bounded Linear Logic and its Categorical Semantics
Focused Proof-search in the Logic of Bunched Implications
Interpolation and Amalgamation for Arrays with MaxDi
Adjoint Reactive GUI Programming
On the Expressiveness of Büchi Arithmetic
Parametricity for Primitive Nested Types
The Spirit of Node Replication
Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages
Certifying Inexpressibility
A General Semantic Construction of Dependent Re nement Type Systems, Categorically
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP
Nondeterministic Syntactic Complexity
A String Diagrammatic Axiomatisation of Finite-State Automata
Work-sensitive Dynamic Complexity of Formal Languages
Learning Pomset Automata
The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford
A Quantified Coalgebraic van Benthem Theorem.
Nominal Equational Problems
Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
Fixpoint Theory - Upside Down
"Most of"' leads to undecidability: Failure of adding frequencies to LTL
Combining Semilattices and Semimodules
One-way Resynchronizability of Word Transducers
Fair Refinement for Asynchronous Session Types
Running Time Analysis of Broadcast Consensus Protocols
Leafy automata for higher-order concurrency
Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic
Generalized Bounded Linear Logic and its Categorical Semantics
Focused Proof-search in the Logic of Bunched Implications
Interpolation and Amalgamation for Arrays with MaxDi
Adjoint Reactive GUI Programming
On the Expressiveness of Büchi Arithmetic
Parametricity for Primitive Nested Types
The Spirit of Node Replication
Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages
Certifying Inexpressibility
A General Semantic Construction of Dependent Re nement Type Systems, Categorically
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP
Nondeterministic Syntactic Complexity
A String Diagrammatic Axiomatisation of Finite-State Automata
Work-sensitive Dynamic Complexity of Formal Languages
Learning Pomset Automata
The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford
A Quantified Coalgebraic van Benthem Theorem.