BibTex format
@inproceedings{van:2008,
author = {van, Bakel S and Cardelli, L and Vigliotti, MG},
title = {From X to Pi: Representing Classical Sequent Calculus in Pi-calculus},
year = {2008}
}
Faculty of Engineering, Department of Computing
Senior Lecturer425Huxley BuildingSouth Kensington Campus