A Coq module for natural logic

  • R.H. Huijben

Student thesis: Master

Date of Award31 Aug 2013
Original languageEnglish
SupervisorJ.H. (Herman) Geuvers (Supervisor 1)

Cite this

Documents

  • full text

    File: application/pdf, 400 KB

    Type: Thesis

'