On fine structures between Church-style and Curry-style λ2-terms
On fine structures between Church-style and Curry-style λ2-terms
复制标题
关于 Church 式和 Curry 式 λ2 项之间的精细结构
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
藤田憲悦
中科院分区：
文献类型：
--
作者：
加賀江 優幸;南出 靖彦;藤田憲悦
