Browsing Department of Computer Science Research Reports: 2000 - 2008 by Author "Pym, David"

Now showing items 1-1 of 1

    • Corrections and Remarks 

      Ishtiaq, S.; Pym, David (2013-12-10)
      This document contains corrections to errors discovered to-date in, and also some remarks upon, both Samin Ishtiaq's thesis, A Relevant Analysis of Natural Deduction [Ish99] and also the JLC [IP98] and CSL [IP99] papers, ...