BibTex format
@article{van:2010,
author = {van, Bakel S},
journal = {ACM Computing Surveys},
title = {Strict Intersection Types for the Lambda Calculus},
year = {2010}
}
Faculty of Engineering, Department of Computing
Senior Lecturer425Huxley BuildingSouth Kensington Campus