$\Gamma \vdash M : ? , \Gamma \vdash M : \tau ?, \Gamma \vdash ? : \tau$ or synthesis of types and terms for typed lambda calculi

  • R.W. van Dommelen

Student thesis: Master

Date of Award31 Aug 1992
Original languageEnglish
SupervisorC. Hemerik (Supervisor 1) & E. Poll (Supervisor 2)

Cite this

'