摘要：直接提取通用递归函数定义和递归类型的语言到类似PCF的循环语言的提取函数的摘要
作者：Norman Danner
论文ID：2208.03243
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-08-08
PDF 下载： 英文版 中文版pdf翻译中