| Date of Award | 31 Aug 2009 |
|---|---|
| Original language | English |
| Supervisor | R.R. Hoogerwoord (Supervisor 1) |
Lambda-term evalution: a calculational approach
Student thesis: Master
Student thesis: Master
| Date of Award | 31 Aug 2009 |
|---|---|
| Original language | English |
| Supervisor | R.R. Hoogerwoord (Supervisor 1) |