12,080
edits
Changes
Directory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 17:42, 22 January 2009
, 17:42, 22 January 2009→The Cactus Language : Semantics: cleanup
|
|
<math>\begin{matrix}
<math>\begin{matrix}
F_0^{(1)} & = & F_{00}^{(1)} & = & \underline{0} ~:~ \underline\mathbb{B} \to \underline\mathbb{B}
F_0^{(1)}
& = &
F_{00}^{(1)}
& = &
\underline{0} ~:~ \underline\mathbb{B} \to \underline\mathbb{B}
\\
\\
\\
\\
F_3^{(1)} & = & F_{11}^{(1)} & = & \underline{1} ~:~ \underline\mathbb{B} \to \underline\mathbb{B}
F_3^{(1)}
& = &
F_{11}^{(1)}
& = &
\underline{1} ~:~ \underline\mathbb{B} \to \underline\mathbb{B}
\end{matrix}</math>
\end{matrix}</math>
|}
|}