The following pages link to Linear types and approximation (Q2709786):
Displaying 6 items.
- The Scott model of linear logic is the extensional collapse of its relational model (Q418011) (← links)
- Characterizing consistent Smyth powerdomains by \textit{FS-}\(\land^{\uparrow}\)-domains (Q1744465) (← links)
- A type-assignment of linear erasure and duplication (Q2193281) (← links)
- Consistent-linear \textit{FS}-domains (Q2334016) (← links)
- Integrating linear and dependent types (Q2819785) (← links)
- Linear domains and linear maps (Q5890060) (← links)