@正在进行{Setzer0PT14，title={取消嵌套Copatterns}，author={安东·塞泽尔（Anton Setzer）、安德烈亚斯·阿贝尔（Andreas Abel）、布里吉特·皮恩特卡（Brigitte Pientka）和大卫·蒂博多（David Thibodeau）}，年份={2014}，doi={10.1007/978-3-319-08918-83}，url={http://dx.doi.org/10.1007/978-3-319-08918-8_3},研究人员={https://researchr.org/publication/Setzer0PT14},引用={0}，引用者={0}，页数={31-45}，booktitle=｛重写和打字Lambda微积分-联合国际会议，RTA-TLCA 2014，作为维也纳逻辑之夏的一部分举行，VSL 2014，2014年7月14日至17日，奥地利维也纳。诉讼}，editor={Gilles Dowek}，体积={8560}，series={计算机科学讲稿}，publisher={Springer}，isbn={978-3-319-08917-1}，}