On denotational completeness

On denotational completeness
复制标题

论指称完整性

DOI:
10.1016/s1571-0661(05)80404-9
复制
发表时间:
1999
期刊:
--
影响因子:
--
通讯作者:
J. Girard
J. Girard
中科院分区:
--
文献类型:
--
作者:
J. Girard

文献摘要

被引文献

相似文献