Rick Statman：Church的半群是Sq-Universal。（2021年） conf/fscd/Statman21 10.4230/LIPICS公司。FSCD.2021.6号文件 Church的半群是Sq-Universal。 1 瑞克·斯塔特曼 1 6:1-6:6 FSCD公司 FSCD公司 2021 2021 dblp记录“conf/fscd/Statman21”的RDF数据的出处信息 2021-07-06T15:54:59+0200