A kappa-denotational semantics for Map Theory in ZFC+SI

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

Standard

A kappa-denotational semantics for Map Theory in ZFC+SI. / Berline, Chantal; Grue, Klaus.

I: Theoretical Computer Science, Nr. Vol. 179, nr. 1-2, 1997, s. 137-202.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

Harvard

Berline, C & Grue, K 1997, 'A kappa-denotational semantics for Map Theory in ZFC+SI', Theoretical Computer Science, nr. Vol. 179, nr. 1-2, s. 137-202.

APA

Berline, C., & Grue, K. (1997). A kappa-denotational semantics for Map Theory in ZFC+SI. Theoretical Computer Science, (Vol. 179, nr. 1-2), 137-202.

Vancouver

Berline C, Grue K. A kappa-denotational semantics for Map Theory in ZFC+SI. Theoretical Computer Science. 1997;(Vol. 179, nr. 1-2):137-202.

Author

Berline, Chantal ; Grue, Klaus. / A kappa-denotational semantics for Map Theory in ZFC+SI. I: Theoretical Computer Science. 1997 ; Nr. Vol. 179, nr. 1-2. s. 137-202.

Bibtex

@article{05440ad074cb11dbbee902004c4f4f50,
title = "A kappa-denotational semantics for Map Theory in ZFC+SI",
author = "Chantal Berline and Klaus Grue",
year = "1997",
language = "English",
pages = "137--202",
journal = "Theoretical Computer Science",
issn = "0304-3975",
publisher = "Elsevier",
number = "Vol. 179, nr. 1-2",

}

RIS

TY - JOUR

T1 - A kappa-denotational semantics for Map Theory in ZFC+SI

AU - Berline, Chantal

AU - Grue, Klaus

PY - 1997

Y1 - 1997

M3 - Journal article

SP - 137

EP - 202

JO - Theoretical Computer Science

JF - Theoretical Computer Science

SN - 0304-3975

IS - Vol. 179, nr. 1-2

ER -

ID: 225978