Benedetto Intrigila和Richard Statman：关于lambda演算中外延的一些结果。(2005) 期刊/apal/IntrigilaS05 2016年10月10日/J.APAL.2003.05.001 关于lambda演算中可拓性的一些结果。 2 贝内代托·因特里吉拉 1 理查德·斯塔特曼 2 109-125 Ann.纯粹应用。日志。 Ann.纯粹应用。日志。 132 2-3 2005 dblp记录“journals/apal/IntrigilaS05”的RDF数据的来源信息 2020-02-21T21:18:35+0100