. . . . . “Benedetto Intrigila和Richard Statman：Lambda理论允许有限个不动点的项。（2017）”。 . . _：ID_631173c977b4 f637a4 cce4 d78 ef4 e4。_：ID_631173c977b4 f637a4 cce4 d78 ef4 e4 ._：ID_631173c977b4 f637a4 cce4 d78 ef4 e4 ._：ID_631173c977b4 f637a4 cce4 d78 ef4 e4“期刊/mscs/IntrigilaS17”。 _：ID_6615a3d40710a1608f376592ace9da6a。_：ID_6615a3d40710a1608f376592ace9da6a ._：ID_6615a3d40710a1608f376592ace9da6a ._：ID_6615a3d40710a1608f376592ace9da6a“10.1017/S0960129515000419”。 “Lambda理论允许有限个不动点的项。”。 . . . "2"^^. _：Sig_ff5086f387faaca7169be00ee7d4f628_1。_：Sig_ff5086f387faaca7169be00ee7d4f628_1 ._：Sig_ff5086f387faaca7169be00ee7d4f628_1“Benedetto Intrigila”。_：Sig_ff5086f387faaca7169be00ee7d4f628_1 ._：Sig_ff5086f387faaca7169be00ee7d4f628_1"1"^^._：Sig_ff5086f387faaca7169be00ee7d4f628_1 . _：Sig_ff5086f387faaca7169be00ee7d4f628_2。_：Sig_ff5086f387faaca7169be00ee7d4f628_2 ._：Sig_ff5086f387faaca7169be00ee7d4f628_2“Richard Statman”。_：信号f5086f387faaca7169be00ee7df628_2 ._：Sig_ff5086f387faaca7169be00ee7d4f628_2"2"^^._：Sig_ff5086f387faaca7169be00ee7d4f628_2 . . . . "405-427" . “数学结构计算科学”。 “数学结构计算科学”。 "27" . "3" . "2017"^^. “dblp记录'journals/mscs/IntrigilaS17'的RDF数据的来源信息”。 . . . “2020-04-01T08:48:59+0200”。