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

  • H.J.M. van Engelen

Student thesis: Master

Abstract

Date of Award30 Apr 1990
Original languageDutch
SupervisorC. (Kees) Hemerik (Supervisor 1) & Huub M.M. ten Eikelder (Supervisor 2)

Cite this

'