Affine type system

1. REDIRECT Substructural type system#Affine type systems

{{rcatsh|

{{r from subtopic}}

{{r to section}}

}}