Getypeerde- en niet getypeerde extensionele lambda-calculusmodellen in Pomega

  • M.A.M. Laarhoven

Student thesis: Master

Abstract

Date of Award31 Aug 1976
Original languageDutch
SupervisorW.J. Peremans (Supervisor 1) & R.C. de Vrijer (Supervisor 2)

Cite this

'