Search

Abstract: Coercive subtyping is a general approach to abbreviation and subtyping in dependent type theories with inductive types. Coherence and admissibility of transitivity are important both for understanding of the framework and for its correct implementation. In this paper, we study the issue of transitivity in the context of subtyping for parameterised inductive types. In particular, we propose and study the notion of weak transitivity and show that, for a large class of parameterised inductive types, the natural subtyping rules are coherent and weak transitivity is admissible in an intensional type theory. A possible extension of type theory with certain extensional computation rules is also discussed for achieving admissibility of transitivity in general. [Copyright &y& Elsevier]

Abnormal CD4 + T cell activation is known to play roles in the pathogenesis of myasthenia gravis (MG). However, little is known about the mechanisms underlying the roles of lncRNAs in regulating CD4 + T cell. In this study, we discovered that the lncRNA IFNG-AS1 is abnormally expressed in MG patients associated with quantitative myasthenia gravis (QMG) and the positive anti-AchR Ab levels patients. IFNG-AS1 influenced Th1/Treg cell proliferation and regulated the expression levels of their transcription factors in an experimental autoimmune myasthenia gravis (EAMG)model. IFNG-AS1 could reduce the expression of HLA-DRB and HLA-DOB and they had a negative correlation in MG. Furthermore IFNG-AS1 influenced the expression levels of CD40L and CD4 + T cells activation in MG patient partly depend on effecting the HLA-DRB1 expression. It suggests that IFNG-AS1 may be involved in CD4 + T cell-mediated immune responses in MG. [ABSTRACT FROM AUTHOR]