A kappa-denotational semantics for Map Theory in ZFC+SI
Research output: Book/Report › Report › Communication
DIKU-rapport 96/11
| Original language | English |
|---|
| Place of Publication | Datalogisk Institut, Københavns Universitet |
|---|---|
| Publication status | Published - 1996 |
ID: 23216