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,
author = {van, Bakel S and Barbanera, F and Fernandez, M},
pages = {41--60},
title = {Polymorphic Intersection Type Assignment for Rewrite Systems with Abstraction and beta-rule},
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AU  - van,Bakel S
AU  - Barbanera,F
AU  - Fernandez,M
EP  - 60
SP  - 41
TI  - Polymorphic Intersection Type Assignment for Rewrite Systems with Abstraction and beta-rule
ER  -

Download