A. Stump. Subset types and partial functions. draft paper available from author's homepage, 2003. A Proofs of the Tautology and Deduction Theorems The proofs of the Tautology Theorem and the Deduction Theorem follow [1]  Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Subset Types and Partial Functions - Stump (2003) Self-citation (Stump Partial) (Correct)
No context found.
A. Stump. Subset types and partial functions. draft paper available from author's homepage, 2003. A Proofs of the Tautology and Deduction Theorems The proofs of the Tautology Theorem and the Deduction Theorem follow [1]
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