Computer Science and Artificial Intelligence Lab (CSAIL): Recent submissions
Now showing items 10-12 of 3794
-
Rank 2 Type Systems and Recursive Definitions
(1995-11)We demonstrate an equivalence between the rank 2 fragments of the polymorphic lambda calculus (System F) and the intersection type discipline: exactly the same terms are typable in each system. An immediate consequence ... -
An Autoimmune Mechanism for AIDS' T4 Lymphopenia
(1991-05)We put forward a new model for the T4 lymphopenia occuring in AIDS by suggesting a mechanism whose net effect is blocking the generation of T4 cells during HIV infection. Supporting evidence for this mechanism is derived ...
