Assertion: logic's aspect | /r/HasProperty | type systems
Facets:
Source sentences:
text: It is intimately tied to many aspects of computer science: type systems for programming languages, the theory of transition systems, models of programming languages and the theory of programming language semantics.