Corrections and Remarks
View/ Open
Series
Department of Computer Science Research Reports;RR-00-04 - October 2000
ISSN
1470-5559
Metadata
Show full item recordAbstract
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.