DrSteffenvan Bakel

Faculty of Engineering, Department of Computing

Senior Lecturer

Contact

+44 (0)20 7594 8263s.van.bakel Website

Location

425Huxley BuildingSouth Kensington Campus

Summary

Publications

Citation

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}
}

Download

RIS format (EndNote, RefMan)

TY  - JOUR
AU  - van,Bakel S
PY  - 2016///
SN  - 2075-2180
TI  - Approximation and (Head) Normalisation for λμ using Strict Intersection Types
T2  - Electronic Proceedings in Theoretical Computer Science, EPTCS 242
ER  -

Download