A computer assistant for a formal mathematical language : the construction of a user friendly assistant program to enter, check, store and view Weak Type Theory descriptions

  • R.W.J. Körvers

Student thesis: Master

Date of Award30 Nov 2002
Original languageEnglish
SupervisorRob Nederpelt (Supervisor 1)

Cite this

Documents

  • full text

    File: application/pdf, 10 MB

    Type: Thesis

'