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