linear type system

1. REDIRECT Substructural type system#Linear type systems

{{rcatsh|

{{r from subtopic}}

{{r to section}}

}}