安东·塞泽尔;安德烈亚斯·亚贝尔;碧姬·品特卡;大卫·希伯多 取消copatterns嵌套。 （英语） Zbl 1416.68048号 Dowek，Gilles（编辑），重写并键入lambda calculi。2014年7月14日至17日在奥地利维也纳举行的RTA-TLCA 2014联合国际会议，作为维也纳逻辑夏季的一部分，VSL 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8560, 31-45 (2014).MSC公司：第68页第18页 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Setzer}等人，Lect。注释计算。科学。8560，31-45（2014；Zbl 1416.68048） 全文： 内政部 链接
安德烈亚斯·亚贝尔;碧姬·品特卡;大卫·希伯多;安东·塞泽尔 Copatterns，通过观察编程无限结构。 （英语） Zbl 1301.68080号 2013年1月23日至25日，意大利罗马，第40届ACM SIGPLAN-SIGCT编程语言原理年度研讨会论文集，POPL’13。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1832-7）。27-38 (2013).MSC公司：第68页第18页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Abel}等人，in：第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’13，意大利罗马，2013年1月23日至25日。纽约州纽约市：计算机协会（ACM）。27-38（2013；Zbl 1301.68080） 全文： 内政部