12,089
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday October 11, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 19:51, 24 March 2009
, 19:51, 24 March 2009→Step 4: markup
\ /
\ /
P = (o)
P = (o)
</pre>
{| align="center" cellpadding="8" width="90%"
</pre>
|
<math>\begin{matrix}
\operatorname{P}
& = &
(\operatorname{K}((\operatorname{S}\operatorname{K})\operatorname{S}))
& : &
(B \Rightarrow C) \Rightarrow ((A \Rightarrow B) \Rightarrow (A \Rightarrow C))
\end{matrix}</math>
|}
===Step 5===
===Step 5===
