| Original language | English |
|---|---|
| Qualification | Doctor of Philosophy |
| Awarding Institution |
|
| Award date | 1 Jan 1981 |
| Place of Publication | Utrecht |
| Publisher | |
| Publication status | Published - 1981 |
Lambda-conversion and logic
A. Rezus
Research output: Thesis › Phd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)