Abstract
| Date of Award | 31 Aug 1992 |
|---|---|
| Original language | English |
| Supervisor | C. (Kees) Hemerik (Supervisor 1) & E. Poll (Supervisor 2) |
$\Gamma \vdash M : ? , \Gamma \vdash M : \tau ?, \Gamma \vdash ? : \tau$ or synthesis of types and terms for typed lambda calculi
Student thesis: Master