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

Abstract

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

Cite this

'