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:2003:10.1016/s1571-0661(04)80776-x,
author = {van, Bakel S},
doi = {10.1016/s1571-0661(04)80776-x},
journal = {Electronic Notes in Theoretical Computer Science},
pages = {1--20},
title = {Rank 2 Types for Term Graph Rewriting},
url = {http://dx.doi.org/10.1016/s1571-0661(04)80776-x},
volume = {75},
year = {2003}
}

Download

RIS format (EndNote, RefMan)

TY  - JOUR
AU  - van,Bakel S
DO  - 10.1016/s1571-0661(04)80776-x
EP  - 20
PY  - 2003///
SN  - 1571-0661
SP  - 1
TI  - Rank 2 Types for Term Graph Rewriting
T2  - Electronic Notes in Theoretical Computer Science
UR  - http://dx.doi.org/10.1016/s1571-0661(04)80776-x
VL  - 75
ER  -

Download