A proof assistant based on terms with binding structures

  • F.A.M. Smeijers

Student thesis: Master

Date of Award31 Aug 2009
Original languageEnglish
SupervisorC. Hemerik (Supervisor 1) & M.G.J. Franssen (Supervisor 2)

Cite this

Documents

  • full text

    File: application/pdf, 389 KB

    Type: Thesis

'