12,140
edits
Changes
Directory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 16:42, 24 March 2009
, 16:42, 24 March 2009→Step 2
|
|
<math>\begin{array}{l}
<math>\begin{array}{l}
((x \underset{A}{:} ~y \overset{B}{\underset{A}{:}}) \underset{B}{:} ~z \overset{C}{\underset{B}{:}}) \underset{C}{:}
((x \overset{A}{\Uparrow} ~y \overset{B}{\underset{A}{\Uparrow}}) \overset{B}{\Uparrow} ~z \overset{C}{\underset{B}{\Uparrow}}) \overset{C}{\Uparrow}
\end{array}</math>
\end{array}</math>
|}
|}