12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 15:12, 24 March 2009
, 15:12, 24 March 2009→Step 2
{| align="center" cellpadding="8" width="90%"
{| align="center" cellpadding="8" width="90%"
| <math>x_A ~=~ x_A \operatorname{I}_{A \Rightarrow A}</math>
| <math>\begin{matrix}x_A & = & x_A \operatorname{I}_{A \Rightarrow A}\end{matrix}</math>
|}
|}