technical findings by NASA-sponsored contractors and grantees. CONFERENCE PUBLICATION. Collected papers from scientific and technical conferences, symposia, seminars, or other meetings sponsored or co...
: We introduce an intersection type system which is a restriction of the intersection type discipline. This restriction leads to a principal type property for normal forms in the classical sense, whil...
We characterised the effects of HIV infection on the production of Interleukins in lymphoid organs by studying the expression of the genes for two TH1 type Interleukins, IL2 and Interferon gamma, of t...
Fractures of the capitellum account for less than 1% of all elbow fractures. Because they may be difficult to visualize on plain radiographs, the clinician must have a high index of suspicion for thei...