鲁卡·凯德利 菲利普·加德纳 乔治·盖利 使用隐藏标签操纵树。 177-201 2007 conf/生日/2007plotkin 计算、意义和逻辑 https://doi.org/10.1016/j.entcs.2007.02.007 https://www.wikidata.org/entity/Q56982049 db/journals/entcs/entcs172.html#CardelliGG07