Similar Items: Monads and Distributive Laws in Substructural Contexts (Extended Version)
- Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
- täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version)
- On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)
- Graded Monad Coalgebras for Continuous-Time Transition Systems
- Extending QuAK with Nested Quantitative Automata
- Logics for Context-free Hyperproperties