Linear types

Redirect to:

• Substructural type system#Linear type systems