The following pages link to Linear domains and linear maps (Q5890060):
Displaying 10 items.
- The Scott model of linear logic is the extensional collapse of its relational model (Q418011) (← links)
- Quasi-prime algebraic domains (Q672133) (← links)
- A maximal monoidal closed category of distributive algebraic domains (Q1346712) (← links)
- On linearly compact integral domains (Q1587885) (← links)
- The LLE and a linear mapping (Q2498670) (← links)
- Locally Boolean domains (Q2566030) (← links)
- Linear types and approximation (Q2709786) (← links)
- (Q3218245) (← links)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
- (Q5431045) (← links)