Publications
-
Categorical Modeling of a State Oriented Version of Linear Logic
- Several systems that promise a logical view of state in programming have been proposed in the literature. We investigate the syntax and semantics of one of these systems called LLMS, developed by Uday Reddy. We show that the existent categorical definition of a model of LLMS is too conservative and introduce a neat way of revising the definition. We give a concrete construction in a Dialectica category which forms a sound categorical model for the system.
-
The phenotype and function of Epstein-Barr virus (EBV)-specific memory CD8+ T-cells in the peripheral blood of healthy EBV carriers.
- PhD Thesis. CRC Institute for Cancer Studies. University of Birmingham, UK.
Document Actions