BibTex format
@article{van:2016,
author = {van, Bakel S},
journal = {Electronic Proceedings in Theoretical Computer Science, EPTCS 242},
title = {Approximation and (Head) Normalisation for λμ using Strict Intersection Types},
year = {2016}
}
Faculty of Engineering, Department of Computing
Senior Lecturer425Huxley BuildingSouth Kensington Campus