BibTex format
@inproceedings{Darlington:1994,
author = {Darlington, J and Guo, Y},
publisher = {Springer-Verlag},
title = {Formalising Actors in Linear Logic},
year = {1994}
}
In this section
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.
@inproceedings{Darlington:1994,
author = {Darlington, J and Guo, Y},
publisher = {Springer-Verlag},
title = {Formalising Actors in Linear Logic},
year = {1994}
}
TY - CPAPER
AU - Darlington,J
AU - Guo,Y
PB - Springer-Verlag
PY - 1994///
TI - Formalising Actors in Linear Logic
ER -
Data Science Institute
William Penney Laboratory
Imperial College London
South Kensington Campus
London SW7 2AZ
United Kingdom
Email us.
Sign up to our mailing list.
Follow us on Twitter, LinkedIn and Instagram.