Changes

Directory:Jon Awbrey/Papers/Propositions As Types (view source)

223 bytes added , 19:51, 24 March 2009

Line 512: Line 512:

\ /

P = (o)

+

</pre>

−

P = (K((SK)S)) : (B=>C)=>((A=>B)=>(A=>C))

+

{| 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===

12,140

edits