摘要：关系编程中应用型函数式编程的数学基础
作者：H. Ibrahim and M.H. van Emden
论文ID：cs/0602099
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中