Een notatie-systeem voor lambda-calculus met definities

  • R.M.A. Wieringa

Student thesis: Master

Abstract

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

Cite this

Een notatie-systeem voor lambda-calculus met definities
Wieringa, R. M. A. (Author). 31 Aug 1978

Student thesis: Master