substructural type system

From WikiWord

English

Etymology

No etymology has been added yet.

Pronunciation

No pronunciation has been added yet.

Noun

No noun senses have been added yet.

Verb

No verb senses have been added yet.

No dictionary definition found for “substructural type system”. Add a community definition below, or try a related word.

Word map

Related terms

Synonyms

structural type system non-classical logic type theory semiring type constructor bounded quantification algebraic data type axiomatic system context-sensitive language syntax intuitionistic logic intuitionistic type theory non-well-founded set theory local consistency family of sets theoretical computer science

Usage & collocations

No usage or collocation data has been added yet.

Community definitions

Community definitions for substructural type system appear here as readers add and vote on them.

Usage in the wild

Real example sentences for substructural type system appear here as readers add them.

References