Samin Ishtiaq, David Pym  Home/Search
Context
Related
| dcs.qmw.ac.uk/pub/...ionsremarks.ps.gz dcs.qmw.ac.uk/~pym...ionsremarksrr.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.qmw.ac.uk/~si/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. 1 Introduction This document contains corrections to errors discovered to-date in 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... (Update)
Active bibliography (related documents): More All
0.2: Notes Towards a Semantics for Proof-search - Pym (Correct)
0.1: The Logic of Bunched Implications - O'Hearn, Pym (1999) (Correct)
0.1: On Bunched Predicate Logic - Pym (1999) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.6: Kripke Resource Models of a Dependently-Typed, Bunched.. - Ishtiaq, Pym (1999) (Correct)
0.4: A Relevant Analysis of Natural Deduction - Ishtiaq (1999) (Correct)
0.4: Kripke Resource Models of a Dependently-Typed, Bunched.. - Ishtiaq, Pym (1999) (Correct)
BibTeX entry: (Update)
@misc{ ishtiaq-corrections,
author = "Samin Ishtiaq and David Pym",
title = "Corrections and Remarks",
url = "citeseer.ist.psu.edu/ishtiaq00corrections.html" }
Citations (may not include all citations):51 A Relevant Analysis of Natural Deduction - Ishtiaq, Pym - 1998
51 A Relevant Analysis of Natural Deduction - Ishtiaq - 1999
45 The Semantics and Proof Theory of the Logic of Bunched Impli.. (context) - Pym - 2000
10 Kripke Resource Models of a DependentlyTyped (context) - Ishtiaq, Pym - 1999
Documents on the same site (http://www.dcs.qmw.ac.uk/~si/): More
A Relevant Analysis of Natural Deduction - Ishtiaq, Pym (1996) (Correct)
Kripke resource models of a dependently-typed, bunched.. - Ishtiaq, Pym (1999) (Correct)
BI is strongly expressive - Samin Ishtiaq Department (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC