| Original language | English |
|---|---|
| Publication status | Published - 2017 |
In search of effectful dependent types
Research output: Thesis › Doctoral thesis 2 (Research NOT UU / Graduation UU)
Research output: Thesis › Doctoral thesis 2 (Research NOT UU / Graduation UU)
| Original language | English |
|---|---|
| Publication status | Published - 2017 |