theory of logical types 逻辑类型理论
The Theory of Logical Types 逻辑类型论
Language and logical types 语言与逻辑类型
logical-semantic types 逻辑语义类型
Evaluate these components, then assign the paragraph types to elements, giving your elements logical names.
评估这些组件,然后指定元素的段落类型,赋予元素逻辑名。
These types of restores rely on the information in the logical logs.
这些类型的还原依赖于逻辑日志中的信息。
However, at the logical level, code is not aware of physical level types.
然而在逻辑层,代码并不知道物理层类型。
应用推荐