Fully abstract game semantics for finite nondeterminism

被引:0
作者
Imperial Coll, London, United Kingdom [1 ]
机构
来源
Proc Symp Logic Comput Sci | / 422-430期
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
相关论文
empty
未找到相关数据