Getypeerde- en niet getypeerde extensionele lambda-calculusmodellen in Pomega

  • M.A.M. Laarhoven

Scriptie/Masterproef: Master

Datum prijs31 aug. 1976
Originele taalNederlands
BegeleiderW.J. Peremans (Afstudeerdocent 1) & Roel C. Vrijer, de (Afstudeerdocent 2)

Citeer dit

'