Abstract
DIKU-rapport 96/11
| Originalsprog | Engelsk |
|---|
| Udgivelsessted | Datalogisk Institut, Københavns Universitet |
|---|---|
| Status | Udgivet - 1996 |
A kappa-denotational semantics for Map Theory in ZFC+SI
Chantal Berline, Klaus Grue
Publikation: Bog/antologi/afhandling/rapport › Rapport › Formidling