多态类型相关论文
该文主要研究的对象是Oz 语言的约束的π-演算语义,类和对象的π-演算语义.借助带多态和子类型关系的π-演算这一中间语言来作为我......
可变数串联重复序列（ＶａｒｉａｂｌｅＮｕｍｂｅｒｏｆＴａｎｄｅｍＲｅｐｅａｔ，ＶＮＴＲ）通常由二个核甘酸组成的单元如“胞嘧啶＋腺嘌啉”（ＣＡ）经过若干次重复组成，由于重复的次数（即ｎ值）是可变的，因而构成一种多......
