Encodings in polymorphism with finite product types are considered. These encodings aregiven in terms of I-algebras. They have the property that the ground terms are precisely theclosed normal terms of the encoded typ...Encodings in polymorphism with finite product types are considered. These encodings aregiven in terms of I-algebras. They have the property that the ground terms are precisely theclosed normal terms of the encoded types. The proof of a well-known result is transplantedto the setting and it is shown why weak recursion is admissible. The paper also shows how tocarry out the dual encodingS using the existential quantifier.展开更多
Background The association between IGF2BP2 and type 2 diabetes mellitus （T2DM） has been repeatedly confirmed among different ethnic populations. However, in several genome-wide association studies （GWAS） from the ...Background The association between IGF2BP2 and type 2 diabetes mellitus （T2DM） has been repeatedly confirmed among different ethnic populations. However, in several genome-wide association studies （GWAS） from the Chinese Han population, the gene IGF2BP2 has not been replicated. The results of relevant studies for the association between IGF2BP2 and T2DM showed controversy in Chinese Han population. It is necessary to systematically evaluate the contribution of common variants in IGF2BP2 to T2DM in Chinese Han population.展开更多
文摘Encodings in polymorphism with finite product types are considered. These encodings aregiven in terms of I-algebras. They have the property that the ground terms are precisely theclosed normal terms of the encoded types. The proof of a well-known result is transplantedto the setting and it is shown why weak recursion is admissible. The paper also shows how tocarry out the dual encodingS using the existential quantifier.
文摘Background The association between IGF2BP2 and type 2 diabetes mellitus （T2DM） has been repeatedly confirmed among different ethnic populations. However, in several genome-wide association studies （GWAS） from the Chinese Han population, the gene IGF2BP2 has not been replicated. The results of relevant studies for the association between IGF2BP2 and T2DM showed controversy in Chinese Han population. It is necessary to systematically evaluate the contribution of common variants in IGF2BP2 to T2DM in Chinese Han population.
