12,089
edits
Changes
Directory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 15:04, 24 March 2009
, 15:04, 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>x(y(z\operatorname{P})) ~=~ (xy)z</math>
|}
|}
\\[8pt]
\\[8pt]
\operatorname{P}
\operatorname{P}
& = &
& & = & &
(\operatorname{K}((\operatorname{S}\operatorname{K})\operatorname{S}))
(\operatorname{K}((\operatorname{S}\operatorname{K})\operatorname{S}))
\end{array}</math>
\end{array}</math>