Church pairWiktionary 原文英美词源说明Named after Alonzo Church.释义名词noun1(mathematics) A Church encoding of the 2-tuple type.