瑞克·斯塔特曼 Lambda微积分和组合逻辑的有限生成和表示问题。 316-326 2022 线性调频控制系统 https://doi.org/10.1007/978-3-030-93100-1_20 conf/lfcs/2022 db/conf/lfcs/lfcs2022.html#Statman22