Assertion: linear logic | /r/HasProperty | essential
Facets:
value: for computing science
type: OTHER
Source sentences:
text: They apply these tools to research in the subject of computing semantics , in particular in the subject of linear logic  which is essential for computing science.