A Fully Abstract Denotational Model for Observational Precongruence

Anna Ingolfsdottir, A. Schalk

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Theoretical Computer Science
Vol/bind	254
Udgave nummer	1/2
Sider (fra-til)	35-61
ISSN	0304-3975
Status	Udgivet - 2001

AUB Link

@article{537c7ed0809211db8b97000ea68e967b,

title = "A Fully Abstract Denotational Model for Observational Precongruence",

author = "Anna Ingolfsdottir and A. Schalk",

year = "2001",

language = "English",

volume = "254",

pages = "35--61",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

number = "1/2",

}