Visualisatie van type-afleidingen in Lambda-calculus

  • J.H.P. Tevel

Student thesis: Master

Date of Award31 Aug 1993
Original languageDutch
SupervisorC. Hemerik (Supervisor 1) & E. Poll (Supervisor 2)

Cite this

'