Similar Items: Type Theory With Erasure
- Collusion Relations and their Applications to Balance Theory
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
- Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
- Verification of Neural Networks (Lecture Notes)
- Automaton-based Characterisations of First Order Logic over Infinite Trees
- Pseudo-Complex Quantifier Elimination