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

Getypeerde- en niet getypeerde extensionele lambda-calculusmodellen in Pomega
Laarhoven, M. A. M. (Author). 31 Aug 1976

Student thesis: Master