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