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