Corrections and Remarks
dc.contributor.author | Ishtiaq, S. | |
dc.contributor.author | Pym, David | |
dc.date.accessioned | 2013-12-10T14:25:12Z | |
dc.date.available | 2013-12-10T14:25:12Z | |
dc.date.issued | 2013-12-10 | |
dc.identifier.issn | 1470-5559 | |
dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/4736 | |
dc.description.abstract | 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, by Ishtiaq and Pym, that follow from it. | en_US |
dc.language.iso | en | en_US |
dc.relation.ispartofseries | Department of Computer Science Research Reports;RR-00-04 - October 2000 | |
dc.title | Corrections and Remarks | en_US |
dc.type | Technical Report | en_US |
Files in this item
This item appears in the following Collection(s)
-
Department of Computer Science Research Reports: 2000 - 2008 [56]
Technical Reports of the Department of Computer Science for the years 2000 - 2008