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:2008,
author = {van, Bakel S},
journal = {Theoretical computer science},
pages = {82--94},
title = {The Heart of Intersection Type Assignment},
volume = {398},
year = {2008}
}

Download

RIS format (EndNote, RefMan)

TY  - JOUR
AU  - van,Bakel S
EP  - 94
PY  - 2008///
SP  - 82
TI  - The Heart of Intersection Type Assignment
T2  - Theoretical computer science
VL  - 398
ER  -

Download