$\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

Abstract

Date of Award31 Aug 1992
LanguageEnglish
SupervisorKees Hemerik (Supervisor 1) & E. Poll (Supervisor 2)

Cite this

$\Gamma \vdash M : ? , \Gamma \vdash M : \tau ?, \Gamma \vdash ? : \tau$ or synthesis of types and terms for typed lambda calculi
van Dommelen, R. W. (Author). 31 Aug 1992

Student thesis: Master