12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday September 27, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 19:24, 25 March 2009
, 19:24, 25 March 2009→Step 5: markup
===Step 5===
===Step 5===
Rewrite the final proof tree in existential graph format, implementing structure sharing among application triples by overlaying the type propositions that attach to terms.
Rewrite the final proof tree in existential graph format,
implementing structure sharing among application triples
by overlaying the type propositions that attach to terms.
Graphic Conventions: Square bracketed nodes mark subtrees
; Graphic Conventions
to be pruned from one tree and grafted into another at the
: Square bracketed nodes mark subtrees to be pruned from one tree and grafted into another at the indicated site, tantamount to recycling ''Facts'' as ''Cases''. Square brackets are also used to indicate the final result.
indicated site, tantamount to recycling "Facts" as "Cases".
Square brackets are also used to indicate the final result.
<pre>
o---------------------------------------------------------------------o
o---------------------------------------------------------------------o
| |
| |
