12,089
edits
Changes
Directory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 19:36, 24 March 2009
, 19:36, 24 March 2009→Step 5: markup
===Step 5===
===Step 5===
Rewrite the final proof tree in existential graph format:
Rewrite the final proof tree in existential graph format:
<pre>
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| |
| |
| |
| |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
; Note on the graphic conventions used in the above style of diagram
: Square bracketed nodes mark subtrees to be pruned from one tree and grafted into another at the indicated site, amounting in effect to ''Facts'' being recycled as ''Cases''. Square brackets are also used to mark the intended result.
==Self-Documentation : Developmental Data Structures==
==Self-Documentation : Developmental Data Structures==