一階詳細化を用いた関数型プログラムの関係的性質の検証
一階詳細化を用いた関数型プログラムの関係的性質の検証
复制标题
使用一阶细化验证函数程序的关系属性
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
佐藤亮介
中科院分区：
文献类型：
--
作者：
K. Kawaguchi;S. -i. Sasa;and T. Sagawa;吉村雅美;佐藤亮介
