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:1992,
author = {van, Bakel S},
journal = {Theoretical Computer Science},
pages = {135--163},
title = {Complete restrictions of the Intersection Type Discipline},
url = {http://pubs.doc.ic.ac.uk/Bakel-TCS92},
volume = {102},
year = {1992}
}

Download

RIS format (EndNote, RefMan)

TY  - JOUR
AU  - van,Bakel S
EP  - 163
PY  - 1992///
SP  - 135
TI  - Complete restrictions of the Intersection Type Discipline
T2  - Theoretical Computer Science
UR  - http://pubs.doc.ic.ac.uk/Bakel-TCS92
VL  - 102
ER  -

Download