| Datum prijs | 31 aug. 1978 |
|---|---|
| Originele taal | Nederlands |
| Begeleider | N.G. (Dick) de Bruijn (Afstudeerdocent 1) & L.S. Benthem Jutting, van (Afstudeerdocent 2) |
Citeer dit
- Standard
Een notatie-systeem voor lambda-calculus met definities
Scriptie/Masterproef: Master