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{de'Liguoro:2003,
author = {de'Liguoro, U and van, Bakel S},
pages = {202--215},
title = {Logical Semantics for the First Order Sigma Calculus},
url = {http://pubs.doc.ic.ac.uk/Bakel-Liguoro-ICTCS03},
year = {2003}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AU  - de'Liguoro,U
AU  - van,Bakel S
EP  - 215
PY  - 2003///
SP  - 202
TI  - Logical Semantics for the First Order Sigma Calculus
UR  - http://pubs.doc.ic.ac.uk/Bakel-Liguoro-ICTCS03
ER  -

Download