请输入您要查询的字词:
单词
categorical semantics
释义
categorical semantics
Encyclopedia
理学
类型理论
释
categorical semantics
范畴语义学
运用范畴论中的概念和性质给出计算机语言的形式语义定义。
Mathematics
categorical semantics
范畴语义学
Computer
理论计算机科学
程序理论
释文
categorical semantics
范畴语义
随便看
不变对象
不变导数
不变嵌入
不变嵌入法
不变平均
不变平均泛函
不变平面
不变广义函数
不变度量
不变度量的大地线
不变度量的测地线
不变延拓
不变式
不变式的权
不变张量
不变形式
不变微分
不变微分形式
不变微分方程
不变微分算子
不变性
不变性公理
不变性原理
不变性定理
不变性性质
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/4/16 3:25:37