Personal tools
You are here: Home / Publications

Publications

File PostScript document 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.
File PDF document 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