BibTeX记录conf/lics/Statman86
@在过程中{DBLP:conf/lics/Statman86, author={Richard Statman}, title={关于将Lambda项转换为组合子;基问题}, booktitle={计算机科学逻辑研讨会论文集{(LICS} 1986年6月16日至18日,美国马萨诸塞州剑桥, 页面={378-382}, publisher={{IEEE}计算机协会}, 年份={1986}, timestamp={2015年1月22日星期四10:45:17+0100}, 比布尔={ https://dblp.org/rec/conf/lics/Statman86.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }