recursive equivalence types递归: recurrence; recursion等价: of equal value; equal in val ...型: mould; model递归等价性: recursive equivalence等价递归: equivalent recursion下载手机词典可随时随地查词查翻译
