克里斯蒂亚诺·卡尔加诺 菲利普·加德纳 乌里·扎尔法蒂 上下文逻辑和树更新。 271-282 2005 conf/popl/2005年 POPL公司 https://doi.org/10.1145/1040305.1040328 https://doi.org/10.1145/1047659.1040328 db/conf/popl/popl2005.html#CalcagnoGZ05