Complex sentence: 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).
Split into simpler sentences: 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).