On denotational completeness
On denotational completeness
复制标题
论指称完整性
DOI:
10.1016/s1571-0661(05)80404-9
复制
发表时间:
1999
期刊:
影响因子:
--
通讯作者:
J. Girard
中科院分区:
文献类型:
--
作者:
J. Girard