短語(yǔ)詞組短語(yǔ)recursive equivalence types 遞歸等價(jià)型recursive equivalence type [數(shù)]遞歸等價(jià)型 返回 recursive equivalence