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