12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 15:08, 24 March 2009
, 15:08, 24 March 2009→Step 1
{| align="center" cellpadding="8" width="90%"
{| align="center" cellpadding="8" width="90%"
| <math>x(y(z\operatorname{P})) ~=~ (xy)z</math>
|
<math>\begin{array}{ccc}
x(y(z\operatorname{P})) & = & (xy)z
\end{array}</math>
|}
|}