Imperial College London
Alternate

ProfessorPhilippaGardner

Faculty of Engineering, Department of Computing

Professor of Theoretical Computer Science
 
 
 
//

Contact

 

+44 (0)20 7594 8292p.gardner Website

 
 
//

Location

 

453Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Calcagno:2009:10.1016/j.ic.2009.02.013,
author = {Calcagno, C and Dinsdale-Young, T and Gardner, P},
doi = {10.1016/j.ic.2009.02.013},
pages = {474--499},
publisher = {Elsevier},
title = {Adjunct elimination in Context Logic for trees},
url = {http://dx.doi.org/10.1016/j.ic.2009.02.013},
year = {2009}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - We study adjunct-elimination results for Context Logic applied to trees, following previous results by Lozes for Separation Logic and Ambient Logic. In fact, it is not possible to prove such elimination results for the original single-holed formulation of Context Logic. Instead, we prove our results for multi-holed Context Logic.
AU  - Calcagno,C
AU  - Dinsdale-Young,T
AU  - Gardner,P
DO  - 10.1016/j.ic.2009.02.013
EP  - 499
PB  - Elsevier
PY  - 2009///
SN  - 1090-2651
SP  - 474
TI  - Adjunct elimination in Context Logic for trees
UR  - http://dx.doi.org/10.1016/j.ic.2009.02.013
UR  - http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000276120600006&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202
UR  - http://hdl.handle.net/10044/1/33266
ER  -
Download