@会议记录{rta-2014，title={重写和打印Lambda Calculi-2014年RTA-TLCA联合国际会议，作为维也纳逻辑夏季的一部分举行，VSL 2014，奥地利维也纳，2014年7月14-17日。诉讼}，年份={2014}，doi={10.1007/978-3-319-08918-8}，url={http://dx.doi.org/10.1007/978-3-319-08918-8},研究人员={https://researchr.org/publication/rta-2014},引用={0}，引用者={0}，booktitle=｛重写和打字Lambda微积分-联合国际会议，RTA-TLCA 2014，作为维也纳逻辑之夏的一部分举行，VSL 2014，2014年7月14日至17日，奥地利维也纳。诉讼}，会议={RTA}，editor={Gilles Dowek}，体积={8560}，series={计算机科学讲稿}，publisher={Springer}，isbn={978-3-319-08917-1}，}