BibTex format
@article{van:2011,
author = {van, Bakel S},
journal = {ACM Computing Surveys},
title = {Strict Intersection Types for the Lambda Calculus},
url = {http://www.doc.ic.ac.uk/~svb},
volume = {43},
year = {2011}
}
Faculty of Engineering, Department of Computing
Senior Lecturer425Huxley BuildingSouth Kensington Campus