1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
\renewcommand\e{\DELTA{\scriptstyle\epsilon}}
\begin{gather*}
\begin{array}{cc}
\begin{aligned}
\msemVal{\mP} &\definedby \msemPrim\mP
\\
\msemVal{\unittype} &\definedby \terminal
\\
\msemVal{\mA_1\vprod\mA_2} &\definedby
\msem{\mA_1}\times\msem{\mA_2}
\\
\msemVal{\zerotype} &\definedby \initial
\\
\msemVal{\mA_1\vplus\mA_2} &\definedby
\msem{\mA_1}+\msem{\mA_2}
\\\msemVal{\sU\mB} &\definedby \carrier{\msem\mB}
\end{aligned}
&
\begin{aligned}
\msemCtxt{\mG} &\definedby \prod_{\makebox[0pt]{$\scriptstyle x \in
\Domain \mG$}} \msem{\mG(x)}
\\\\
\msemComp{\sF\mA} &\definedby \F{\msem\mA}
\\
\msemComp{\mB_1\cprod\mB_2} &\definedby
\msem{\mB_1}\times\msem{\mB_2}
\\
\msemComp{\funtype\mA\mB} &\definedby {\msem\mB}^{\msem\mA}
\end{aligned}
\end{array}
\end{gather*}
|