DrSteffenvan Bakel

Faculty of Engineering, Department of Computing

Senior Lecturer

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

425Huxley BuildingSouth Kensington Campus

Publications

@inproceedings{van:2010,
author = {van, Bakel S},
pages = {31--44},
title = {Sound and Complete Typing for λμ},
year = {2010}
}

Download

TY  - CPAPER
AU  - van,Bakel S
EP  - 44
PY  - 2010///
SP  - 31
TI  - Sound and Complete Typing for λμ
ER  -

Download