Date of Award | 31 Aug 1978 |
---|---|
Original language | Dutch |
Supervisor | N.G. (Dick) de Bruijn (Supervisor 1) & L.S. Benthem Jutting, van (Supervisor 2) |
Een notatie-systeem voor lambda-calculus met definities
Student thesis: Master