A kappa-denotational semantics for Map Theory in ZFC+SI
Research output: Contribution to journal › Journal article › Research
| Original language | English |
|---|---|
| Journal | Theoretical Computer Science |
| Issue number | Vol. 179, nr. 1-2 |
| Pages (from-to) | 137-202 |
| ISSN | 0304-3975 |
| Publication status | Published - 1997 |
ID: 225978