BibTex format
@inproceedings{de'Liguoro:2003,
author = {de'Liguoro, U and van, Bakel S},
pages = {202--215},
title = {Logical Semantics for the First Order Sigma Calculus},
url = {http://pubs.doc.ic.ac.uk/Bakel-Liguoro-ICTCS03},
year = {2003}
}
Faculty of Engineering, Department of Computing
Senior Lecturer425Huxley BuildingSouth Kensington Campus