Browsing by Subject "Deduction"
Now showing items 1-1 of 1
-
Type-alpha DPLs
(2001-10-05)This paper introduces Denotational Proof Languages (DPLs). DPLs are languages for presenting, discovering, and checking formal proofs. In particular, in this paper we discus type-alpha DPLs---a simple class of DPLs for ...