Cs-Lo
Weak mu-equality is decidable
Dependently-Typed Formalisation of Typed Term Graphs
Introduction to Categories and Categorical Logic
Data Base Mappings and Monads: (Co)Induction
Term Graph Rewriting and Parallel Term Rewriting
Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives
A Formalization of Polytime Functions
Stuttering Equivalence for Parity Games
A new graphical calculus of proofs
Synchronizing Objectives for Markov Decision Processes
Modal Calculus of Illocutionary Logic
Integrating Testing and Interactive Theorem Proving
A Scalable Module System
Ologs: a categorical framework for knowledge representation
Optimal Upper and Lower Bounds for Boolean Expressions by Dissociation
A note on the expressive power of linear orders
Variations on Multi-Core Nested Depth-First Search
A Structural Approach to Reversible Computation
Nominal Logic with Equations Only
Practical Distributed Control Synthesis
Translating Labels to Hypersequents for Intermediate Logics with Geometric Kripke Semantics
A Logical Method for Policy Enforcement over Evolving Audit Logs
