Forskning ved Københavns Universitet - Københavns Universitet

Forside

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

Publikation: Bog/antologi/afhandling/rapportRapportFormidling

  • Chantal Berline
  • Klaus Grue
DIKU-rapport 96/11
OriginalsprogEngelsk
Udgivelses stedDatalogisk Institut, Københavns Universitet
StatusUdgivet - 1996

ID: 23216