Cs-Lo
Residuated Park Theories
The Sheaf-Theoretic Structure Of Non-Locality and Contextuality
Type Classes for Mathematics in Type Theory
On the Decidability of Non Interference over Unbounded Petri Nets
Ground interpolation for the theory of equality
Matching, Merging and Structural Properties of Data Base Category
A Spatial-Epistemic Logic for Reasoning about Security Protocols
Dialectics of Counting and Measures of Rough Theories
Decidable Expansions of Labelled Linear Orderings
Picturing classical and quantum Bayesian inference
Confluence via strong normalisation in an algebraic lambda-calculus with rewriting
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
DB Category: Denotational Semantics for View-based Database Mappings
Continuation-passing Style Models Complete for Intuitionistic Logic
A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality and Deterministic Freezing
Experimental Aspects of Synthesis
An Improved Implementation and Abstract Interface for Hybrid
The HIVE Tool for Informed Swarm State Space Exploration
The Distance Function on a Computable Graph
A coinductive semantics of the Unlimited Register Machine
Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads
