Call/ccを含む型無しラムダ計算における文脈等価性の一証明手法
Call/ccを含む型無しラムダ計算における文脈等価性の一証明手法
复制标题
一种在无类型 lambda 计算（包括 call/cc）中证明上下文等价性的方法
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
住井 英二郎
中科院分区：
文献类型：
--
作者：
谷内 太一;住井 英二郎
