Substructural type system
Different substructural type systems

Substructural type system

Section Title: Different substructural type systems
Table Section Text: None

exchange	weakening	contraction	use

linear	allowed	—	—	exactly once

affine	allowed	allowed	—	at most once

relevant	allowed	—	allowed	at least once

ordered	—	—	—	exactly once in order

Sentence(s)

Relevant type systems allow exchange and contraction, but not weakening and are used at least once.

final_sentence: Relevant type systems allow exchange and contraction, but not weakening and are used at least once.