| Datum prijs | 31 aug. 2009 |
|---|---|
| Originele taal | Engels |
| Begeleider | C. Hemerik (Afstudeerdocent 1) & M.G.J. Franssen (Afstudeerdocent 2) |
Citeer dit
- Standard
A proof assistant based on terms with binding structures
Scriptie/Masterproef: Master