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

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

OriginalsprogEngelsk
TidsskriftTheoretical Computer Science
Udgave nummerVol. 179, nr. 1-2
Sider (fra-til)137-202
ISSN0304-3975
StatusUdgivet - 1997

ID: 225978