A sound and complete CPS-translation for λμ-calculus - Extended abstract -

A sound and complete CPS-translation for λμ-calculus - Extended abstract -
复制标题

λμ 演算的健全且完整的 CPS 翻译 - 扩展摘要 -

DOI:
--
复制
发表时间:
2005
期刊:
Kyoto University RIMS Koukyuroku Vol.1437
影响因子:
--
通讯作者:
K.Fujita
K.Fujita
中科院分区:
--
文献类型:
--
作者:
K.Fujita;M.Hasegawa;K.Fujita

文献摘要

相似文献