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

@inproceedings{van:2008,
author = {van, Bakel S},
publisher = {British Computing Society},
title = {Subject Reduction vs Intersection / Union Types for lambda-bar-mu-mu-tilde},
url = {http://www.doc.ic.ac.uk/~svb},
year = {2008}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AU  - van,Bakel S
PB  - British Computing Society
PY  - 2008///
TI  - Subject Reduction vs Intersection / Union Types for lambda-bar-mu-mu-tilde
UR  - http://www.doc.ic.ac.uk/~svb
ER  -

Download