Onderzoek naar een logica voor programmeertaal-constructies gebaseerd op getypeerde lambda-calculus

  • H.J.M. van Engelen

Scriptie/Masterproef: Master

Samenvatting

Datum prijs30 apr 1990
Originele taalNederlands
BegeleiderC. (Kees) Hemerik (Afstudeerdocent 1) & H.M.M. ten Eikelder (Afstudeerdocent 2)

Citeer dit

'