“Lambda-Calculus与Surjective Pairing和……的结论性简化”
皮埃尔·路易斯·居里 , 罗贝多·迪·科斯莫 :
具有surpjective对和终端对象的Lambda-Calculus的结论约简。 ICALP公司 1991 : 291-302
由于不可用的引用数据,下面的列表可能是不完整的, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。