Publications from our Researchers

Several of our current PhD candidates and fellow researchers at the Data Science Institute have published, or in the proccess of publishing, papers to present their research.  


BibTex format

author = {Darlington, J and Guo, Y},
publisher = {Springer-Verlag},
title = {Formalising Actors in Linear Logic},
year = {1994}

RIS format (EndNote, RefMan)

AU - Darlington,J
AU - Guo,Y
PB - Springer-Verlag
PY - 1994///
TI - Formalising Actors in Linear Logic
ER -