| Original language | Danish |
|---|---|
| Qualification | PhD |
| Supervisor(s) |
|
| Award date | 29 Apr 2011 |
| Publisher | |
| Print ISBNs | 978-87-7949236-3 |
| Publication status | Published - 2011 |
Implementing Substructural Logical Frameworks
Anders Schack-Nielsen
Research output: Theses › PhD thesis