| Original language | English |
|---|---|
| Qualification | Doctor of Philosophy |
| Awarding Institution |
|
| Supervisors/Advisors |
|
| Award date | 14 Sep 1993 |
| Place of Publication | Nijmegen |
| Publisher | |
| Print ISBNs | 90-9006352-8 |
| Publication status | Published - 1993 |
Logics and type systems
Research output: Thesis › Phd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)