计算机工程2004，Vol.30Issue(12)：45-47,3.
基于类型理论的XML类型系统形式化建模
Formal Model of XML Type System Based on Type Theory
摘要
关键词
XML数据库/XML类型系统/类型理论/逻辑化形式建模分类
信息技术与安全科学引用本文复制引用
冯玉才,刘丹,班鹏新..基于类型理论的XML类型系统形式化建模[J].计算机工程,2004,30(12):45-47,3.基金项目
国家"863"计划基金(2002AA423110) （2002AA423110）
