extensionality
- 网络外延性;可扩展性
extensionalityextensionality
外延性
η-变换表达了“外延性”(extensionality)的概念,在这种上下文中,两个函数被认为是相等的“当且仅当”对于所有的参数,它们 …
可扩展性
...有的进程观察等价或前序关系中提炼出一些基本性质,如可扩展性(extensionality)、交互能力的等势性(equipollence)(或保持性(…
extensionality