Modal Logic and the Curry-Howard Isomorphism, DIKU-rapport 99/10
Research output: Book/Report › Report › Communication
| Original language | English |
|---|
| Place of Publication | Datalogisk Institut, Københavns Universitet |
|---|---|
| Number of pages | 68 |
| Publication status | Published - 1999 |
ID: 22391