| Date of Award | 31 Aug 1976 |
|---|---|
| Original language | Dutch |
| Supervisor | W.J. Peremans (Supervisor 1) & Roel C. Vrijer, de (Supervisor 2) |
Getypeerde- en niet getypeerde extensionele lambda-calculusmodellen in Pomega
Student thesis: Master