“lambda-Calculus与Surjective Pairing的汇流约简…”
皮埃尔·路易斯·居里 , 罗贝多·迪·科斯莫 :
具有surpjective对和终端对象的lambda-Calculus的汇流约简。 J.功能。 程序。 6 ( 2 ) : 299-327 ( 1996 )
由于不可用的引用数据,下面的列表可能是不完整的, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。