Ordered types correspond to noncommutative logic where exchange, contraction and weakening are discarded and can be used to model stack-based memory allocation (contrast with linear types which can be used to model heap-based memory allocation).
This can be used to model stack-based memory allocation (contrast with linear types which can be used to model heap-based memory allocation). Ordered types correspond to noncommutative logic where exchange, contraction and weakening are discarded.
Ordered types correspond to noncommutative logic where exchange, contraction and weakening are discarded. This can be used to model stack-based memory allocation (contrast with linear types which can be used to model heap-based memory allocation).
Ordered types correspond to noncommutative logic where exchange, contraction and weakening are discarded. This can be used to model stack-based memory allocation (contrast with linear types which can be used to model heap-based memory allocation).