The ACM Computing Classification System (CCS)
Toggle navigation
Home
Advanced search
About...
My account
Categorical semantics
Home
Theory of computation
Semantics and reasoning
Program semantics
Categorical semantics
Term
Metadata
Categorical semantics
Broader Terms
BT
↑
Program semantics
Date of creation
22-Jan-2018
Accepted term
22-Jan-2018
Descendant terms
0
ARK
ark:/99152/t3klyqglvmz4j5
More specific terms
0
Alternative terms
0
Related terms
0
Notes
0
Metadata
BS8723-5
DC
MADS
SKOS-Core
VDEX
XTM
Zthes
JSON
JSON-LD
Search