Syntax-gestuurde editors voor getypeerde Lambda-termen

  • Mark-Jan Harte

Student thesis: Master

Abstract

Date of Award30 Jun 1994
Original languageDutch
SupervisorC. (Kees) Hemerik (Supervisor 1) & E. Poll (Supervisor 2)

Cite this

'