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

  • R.W. van Dommelen

Scriptie/masterproef: Master

Uittreksel

Datum Prijs31 aug 1992
TaalEngels
BegeleiderKees Hemerik (Afstudeerdocent 1) & E. Poll (Afstudeerdocent 2)

Citeer dit

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

Scriptie/masterproef: Master