泽珊·拉哈尼;达斯，安库什;亨利·德扬;安德烈亚·莫迪多;弗兰克·芬宁 极化子类型。 （英语） Zbl 1528.68082号 谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 431-461 (2022).MSC公司：68号30 03B70号 第68页第18页 PDF格式BibTeX公司 XML格式引用 \textit{Z.Lakhani}等人，Lect。注释计算。科学。13240，431--461（2022；Zbl 1528.68082） 全文： 内政部 arXiv公司 OA许可证
德拉赫尚、法扎内赫;弗兰克·芬宁 作为会话型过程的循环证明：局部有效性条件。 （英语） Zbl 07566064号 日志。方法计算。科学。 18，第2号，第8号论文，51页（2022年）。MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Derakhshan}和\textit{F.Pfenning}，日志。方法计算。科学。18，第2号，第8号文件，第51页（2022；Zbl 07566064） 全文： arXiv公司 链接
贝尔纳多·托尼尼奥;路易斯·凯雷斯;弗兰克·芬宁 会话型流程中的一致性和非分歧性。 （英语） Zbl 1444.68124号 Maffei，Matteo（编辑）等人，《值得信赖的全球计算》。第九届国际研讨会，TGC 2014，罗马，意大利，2014年9月5-6日。修订了选定的论文。柏林：斯普林格。莱克特。注释计算。科学。8902, 159-175 (2014).MSC公司：68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Toninho}等人，莱克特。注释计算。科学。8902159--175（2014年；Zbl 1444.68124） 全文： 内政部
肖恩·麦克劳林;弗兰克·芬宁 用极化逆方法证明直觉定理的有效性。 （英语） Zbl 1250.03019号 Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。人工智能课堂讲稿，230-244（2009）。MSC公司：03立方厘米35 03B20型 05年3月 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.McLaughlin}和\textit{F.Pfenning}，莱克特。注释计算。科学。5663、230--244（2009年；Zbl 1250.03019） 全文： 内政部 链接