Monoidal Indeterminates and Categories of Possible Worlds

Monoidal Indeterminates and Categories of Possible Worlds
复制标题

幺半群不定式和可能世界的类别

DOI：
--
复制
发表时间：
2009
期刊：
Mathematical Foundations of Programming Semantics
影响因子：
--
通讯作者：
R. D. Tennent
R. D. Tennent
中科院分区：
--
文献类型：
--
作者：
C. Hermida;R. D. Tennent

文献摘要

参考文献

被引文献

相似文献

Global State Considered Helpful
全球状态被认为有帮助
DOI： 10.1016/j.entcs.2008.10.015
发表时间： 2008
期刊： Electronic Notes in Theoretical Computer Science
影响因子： --
作者：
Levy P
通讯作者： Levy P