| Date of Award | 31 May 1988 |
|---|---|
| Original language | English |
| Supervisor | C. Hemerik (Supervisor 1) & Huub M.M. ten Eikelder (Supervisor 2) |
Some relations between operational and denotational semantics of a typed lambda calculus
Student thesis: Master