• Home
  • substructural type system

substructural type system

family of type systems based on substructural logic

en-GB/sʌbstɹʌkt͡ʃəɹəl ˈtaɪp ˈsɪstəm/

Categories:

type system