The following pages link to The linear logic of multisets (Q4222188):
Displaying 7 items.
- A single-sorted theory of multisets (Q740200) (← links)
- The logic of multisets continued: The case of disjunction (Q1419383) (← links)
- Poset-valued sets or how to build models for linear logics (Q1826627) (← links)
- Logics for multi-subset spaces (Q2901196) (← links)
- (Q3792659) (← links)
- Saturated formulas in full linear logic (Q4221298) (← links)
- Objects and their lambda calculus (Q5941197) (← links)