@文章{DBLP:journals/apal/Statman04，author={Richard Statman}，title={在lambda\emph{Y}演算}上，日志={Ann.Pure Appl.Log.}，体积={130}，数字={1-3}，页数={325--337}，年份={2004}，网址={https://doi.org/10.1016/j.apal.2004.04.004},doi={10.1016/J.APAL.2004.04.004}，时间戳={2020年2月21日星期五21:18:08+0100}，biburl={https://dblp.org/rec/journals/apal/Statman04.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}