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:2012:10.3233/FI-2012-770,
author = {van, Bakel S},
doi = {10.3233/FI-2012-770},
journal = {Fundamenta Informaticae},
pages = {1--41},
title = {Completeness and Soundness results for X with Intersection and Union Types},
url = {http://dx.doi.org/10.3233/FI-2012-770},
volume = {121},
year = {2012}
}

Download

RIS format (EndNote, RefMan)

TY  - JOUR
AU  - van,Bakel S
DO  - 10.3233/FI-2012-770
EP  - 41
PY  - 2012///
SP  - 1
TI  - Completeness and Soundness results for X with Intersection and Union Types
T2  - Fundamenta Informaticae
UR  - http://dx.doi.org/10.3233/FI-2012-770
UR  - http://www.doc.ic.ac.uk/~svb
VL  - 121
ER  -

Download