Een notatie-systeem voor lambda-calculus met definities

  • R.M.A. Wieringa

Student thesis: Master

Date of Award31 Aug 1978
Original languageDutch
SupervisorN.G. (Dick) de Bruijn (Supervisor 1) & L.S. Benthem Jutting, van (Supervisor 2)

Cite this

'