保罗·皮斯通 关于简单型Lambda-演算的广义度量空间。 1-14 2021 低收入国家 https://doi.org/10.1109/LICS52264.2021.9470696 conf/lics/2021 db/conf/lics/lics2021.html#活塞21