Linear(-like) type systems differ from usual functional type systems by their ability to remove bindings from environment.