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{Bakel:2011,
author = {Bakel, SV},
journal = {CoRR},
title = {Reduction in X does not agree with Intersection and Union Types (Extended abstract)},
volume = {abs/1109.4570},
year = {2011}
}

Download

RIS format (EndNote, RefMan)

TY  - JOUR
AU  - Bakel,SV
PY  - 2011///
TI  - Reduction in X does not agree with Intersection and Union Types (Extended abstract)
T2  - CoRR
VL  - abs/1109.4570
ER  -

Download