BibTex format
@inproceedings{van:2011,
author = {van, Bakel S and Barbanera, F and de'Liguoro, U},
pages = {213--228},
publisher = {Springer},
title = {A Filter Model for the λμ-Calculus},
year = {2011}
}
Faculty of Engineering, Department of Computing
Senior Lecturer425Huxley BuildingSouth Kensington Campus