• 홈
  • 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/

카테고리:

type system