Operational domain theory and topolgy of a sequential programming language

Martin Escardo, [No Value] [No Value]

Research output: Contribution to conference (unpublished) › Paper

4 Citations (Scopus)

Original language	English
Pages	427-436
Number of pages	10
DOIs	https://doi.org/10.1109/LICS.2005.34
Publication status	Published - 1 Jan 2005
Event	Proceedings of 20th Annual IEEE Symposium on Logic in Computer Science - Duration: 1 Jan 2005 → …

Conference	Proceedings of 20th Annual IEEE Symposium on Logic in Computer Science
Period	1/01/05 → …

Access to Document

@conference{ccd58148063745779e5bb408838a8070,

title = "Operational domain theory and topolgy of a sequential programming language",

author = "Martin Escardo and {[No Value]}, {[No Value]}",

year = "2005",

month = jan,

day = "1",

doi = "10.1109/LICS.2005.34",

language = "English",

pages = "427--436",

note = "Proceedings of 20th Annual IEEE Symposium on Logic in Computer Science ; Conference date: 01-01-2005",

}

TY - CONF

T1 - Operational domain theory and topolgy of a sequential programming language

AU - Escardo, Martin

AU - [No Value], [No Value]

PY - 2005/1/1

Y1 - 2005/1/1

UR - http://www.scopus.com/inward/record.url?scp=26844508454&partnerID=8YFLogxK

U2 - 10.1109/LICS.2005.34

DO - 10.1109/LICS.2005.34

M3 - Paper

SP - 427

EP - 436

T2 - Proceedings of 20th Annual IEEE Symposium on Logic in Computer Science

Y2 - 1 January 2005

ER -