On the soundness of explicit substitution

  • Jeroen Krabbendam

Student thesis: Master

Abstract

Date of Award30 Apr 1994
Original languageEnglish
SupervisorRob Nederpelt (Supervisor 1)

Cite this

'