# LaTeX2HTML 98.1p1 release (March 2nd, 1998)
# Associate images original text with physical files.


$key = q/{inline}inlineensuremathmathttsuminline{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="29" HEIGHT="15" ALIGN="BOTTOM" BORDER="0"
 SRC="img44.gif"
 ALT="$\ensuremath{\mathtt{sum}} $">|; 

$key = q/{figure}centerfboxtabularrlparinlinedisplaystylefracGamma;vdash;a:tauinline&foraremathmathfrakfixinline;t:tauinline&partabularcenter{figure}MSF=1.6;FSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="487" HEIGHT="438"
 SRC="img158.gif"
 ALT="\begin{figure}\begin{center}
\fbox{\begin{tabular}{rl}
\par $\displaystyle\frac{...
...emath{\mathfrak{fix}}\;t : \tau}$ &
\par \end{tabular}}\end{center}\end{figure}">|; 

$key = q/{inline}inlineensuremathmathttsetinline(alpha){inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="52" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img100.gif"
 ALT="$\ensuremath{\mathtt{set}} (\alpha)$">|; 

$key = q/{inline}ensuremathensuremathmathfrakhomoplus^odot{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="44" HEIGHT="36" ALIGN="MIDDLE" BORDER="0"
 SRC="img2.gif"
 ALT="\ensuremath{\ensuremath{\mathfrak{hom} }_{\oplus}^{\odot}}">|; 

$key = q/{inline}f(x,y)=langleinlineensuremathmathttnameinline=y.inlineensuremathmathttnaathmathttageinline=2*x.inlineensuremathmathttageinlinerangle{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="300" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img41.gif"
 ALT="$f(x,y) =
\langle \ensuremath{\mathtt{name}} =y.\ensuremath{\mathtt{name}} ,\ensuremath{\mathtt{age}} =2*x.\ensuremath{\mathtt{age}}\rangle$">|; 

$key = q/{displaymath}arrayrl(lambdax.t_1);t_2&;longrightarrow;t_1[t_2slashx].array{displaymath}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="175" HEIGHT="60"
 SRC="img119.gif"
 ALT="\begin{displaymath}
\begin{array}{rl}
(\lambda x.t_1)\;t_2 & \;\longrightarrow\;t_1[t_2/x].
\end{array}\end{displaymath}">|; 

$key = q/{inline}inlineensuremathmathfrakzinline_oplus:inlineensuremathmathfrakTinline_oplus{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="56" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img88.gif"
 ALT="$\ensuremath{\mathfrak{z} } _{\oplus} : \ensuremath{\mathfrak{T} } _{\oplus}$">|; 

$key = q/{inline}x,y,ldots{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="57" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img114.gif"
 ALT="$x, y, \ldots$">|; 

$key = q/{inline}{1,2}{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="43" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img75.gif"
 ALT="$\{1,2\}$">|; 

$key = q/{inline}odot{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="17" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img4.gif"
 ALT="$\odot$">|; 

$key = q/{inline}inlineensuremathmathttlinline_i{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="18" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img38.gif"
 ALT="$\ensuremath{\mathtt{l}} _i$">|; 

$key = q/{inline}xininlineensuremathmathbbNinline,existsn.x=2n{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="122" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img26.gif"
 ALT="$x\in\ensuremath{\mathbb{N} } , \exists n.x=2n$">|; 

$key = q/{displaymath}displaystylefrac<comment_mark>Gamma_1;vdash;t_1:tau_n,cdotsGamma_n;vdash;t_n:tau_nGamma;vdash;t:tau{displaymath}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="472" HEIGHT="67"
 SRC="img135.gif"
 ALT="\begin{displaymath}\displaystyle\frac{<}{t}ex2html_comment_mark>
{\Gamma_1\;\vda...
...ts\ \Gamma_n\;\vdash\;t_n : \tau_n}
{\Gamma\;\vdash\;t : \tau}
\end{displaymath}">|; 

$key = q/{inline}ngeq0{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="43" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img29.gif"
 ALT="$n\geq0$">|; 

$key = q/{displaymath}renewedcommandarraystretch1.6arrayl@;;inlineensuremath;stackrelmboxuremathensuremathmathfrakhomoplus^odotinline[f](y)array{displaymath}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="323" HEIGHT="129"
 SRC="img10.gif"
 ALT="\begin{displaymath}\renewcommand{\arraystretch}{1.6}
\begin{array}{l@{\;\;\ensur...
...nsuremath{\mathfrak{hom} }_{\oplus}^{\odot}} [f](y)
\end{array}\end{displaymath}">|; 

$key = q/{displaymath}arrayl@hskip2emlrenewedcommandarraystretch1.6arrayl@;;inlineensuremhcup{x;[!];t;leftarrow;s,x;leftarrow;t}inlinearrayarray{displaymath}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="586" HEIGHT="190"
 SRC="img43.gif"
 ALT="\begin{displaymath}\begin{array}{l@{\hskip2em}l}
\renewcommand{\arraystretch}{1....
...t\;\leftarrow\;s, x\;\leftarrow\;t\}}\\\\
\end{array}\end{array}\end{displaymath}">|; 

$key = q/{inline}ensuremathensuremathmathfrakhomensuremath!+!!+^cup{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="47" HEIGHT="34" ALIGN="MIDDLE" BORDER="0"
 SRC="img7.gif"
 ALT="\ensuremath{\ensuremath{\mathfrak{hom} }_{\ensuremath{\!+\!\!+}}^{\cup}}">|; 

$key = q/{displaymath}renewedcommandarraystretch1.6arrayl@;=;linlineensuremathmathttlengtine;{x};inlineensuremathmathfrakelseinline;{}](s).array{displaymath}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="354" HEIGHT="190"
 SRC="img23.gif"
 ALT="\begin{displaymath}\renewcommand{\arraystretch}{1.6}
\begin{array}{l@{\;=\;}l}
\...
... }\;\{x\}\;\ensuremath{\mathfrak{else} }\;\{\}](s).
\end{array}\end{displaymath}">|; 

$key = q/{inline}inlineensuremathmathttsetinline{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="29" HEIGHT="15" ALIGN="BOTTOM" BORDER="0"
 SRC="img99.gif"
 ALT="$\ensuremath{\mathtt{set}} $">|; 

$key = q/{inline}e:inlineensuremathmathfrakTinline_oplus{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="47" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img34.gif"
 ALT="$e:\ensuremath{\mathfrak{T} } _{\oplus}$">|; 

$key = q/{inline}y:alpha{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="36" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img13.gif"
 ALT="$y:\alpha$">|; 

$key = q/{inline}ensuremathoplus{e;[!];Q}{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="68" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img27.gif"
 ALT="\ensuremath{\oplus\{e\;[\!]\;Q\}}">|; 

$key = q/{inline}oplus{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="17" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img3.gif"
 ALT="$\oplus$">|; 

$key = q/{inline}inlineensuremathmathfrakuinline_oplus(x){inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="45" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img97.gif"
 ALT="$\ensuremath{\mathfrak{u} } _{\oplus}(x)$">|; 

$key = q/{inline}{x}{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="29" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img102.gif"
 ALT="$\{x\}$">|; 

$key = q/{displaymath}xstar(ystarz)=(xstary)starz{displaymath}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="156" HEIGHT="53"
 SRC="img54.gif"
 ALT="\begin{displaymath}
x\star(y\star z) = (x\star y)\star z
\end{displaymath}">|; 

$key = q/{inline}1star(2star3){inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="71" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img73.gif"
 ALT="$1\star(2\star3)$">|; 

$key = q/{displaymath}arrayrllanglet_1,cdots,t_krangle.i&;longrightarrow;left{arrayllt_i&rightarrow;t;(inlineensuremathmathfrakfixinline;t)array{displaymath}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="416" HEIGHT="289"
 SRC="img150.gif"
 ALT="\begin{displaymath}
\begin{array}{rl}
\langle t_1, \cdots, t_k\rangle.i & \;\lon...
...ongrightarrow\;t\;(\ensuremath{\mathfrak{fix} }\;t)
\end{array}\end{displaymath}">|; 

$key = q/{inline}x:alpha{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="37" HEIGHT="15" ALIGN="BOTTOM" BORDER="0"
 SRC="img12.gif"
 ALT="$x:\alpha$">|; 

$key = q/{inline}Gamma_n{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="23" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img139.gif"
 ALT="$\Gamma_n$">|; 

$key = q/{inline}lambdax.t{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="33" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img117.gif"
 ALT="$\lambda x.t$">|; 

$key = q/{inline}emptyset{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="13" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img110.gif"
 ALT="$\emptyset$">|; 

$key = q/{displaymath}xstary=ystarx{displaymath}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="86" HEIGHT="47"
 SRC="img63.gif"
 ALT="\begin{displaymath}
x\star y = y\star x
\end{displaymath}">|; 

$key = q/{inline}langleinlineensuremathmathttlinline_1=e_1,,ldots,inlineensuremathmathttlinline_n=e_nrangle{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="167" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img40.gif"
 ALT="$\langle \ensuremath{\mathtt{l}} _1=e_1,,\ldots,\ensuremath{\mathtt{l}} _n=e_n\rangle$">|; 

$key = q/{inline}T_startimesT_star{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="57" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img71.gif"
 ALT="$T_{\star}\times T_{\star}$">|; 

$key = q/{inline}inlineensuremathmathttlistinline(alpha){inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="60" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img109.gif"
 ALT="$\ensuremath{\mathtt{list}} (\alpha)$">|; 

$key = q/{inline}langleinlineensuremathmathbbBinline,vee,inlineensuremathmathfrakfalseinlinerangle{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="83" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img61.gif"
 ALT="$\langle \ensuremath{\mathbb{B} } ,\vee,\ensuremath{\mathfrak{false} }\rangle$">|; 

$key = q/{inline}{!!{a,b,c}!!}{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="62" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img84.gif"
 ALT="$\{\!\!\{a,b,c\}\!\!\}$">|; 

$key = q/{displaymath}T_n;inlineensuremath;stackrelmboxtinydef=;inline;left{arrayllinline|;t_iinT_n-1,i=1,2}&makeboxifinlinen>0inlinearrayright.{displaymath}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="338" HEIGHT="94"
 SRC="img70.gif"
 ALT="\begin{displaymath}
T_n \;\ensuremath{\;\stackrel{\mbox{\tiny def}}{=}\;}\; \lef...
...\in T_{n-1}, i=1,2 \} & \makebox{if $n>0$ }
\end{array}\right.
\end{displaymath}">|; 

$key = q/{inline}{C}{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="33" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img16.gif"
 ALT="$\{C\}$">|; 

$key = q/{inline}t:tau{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="32" HEIGHT="15" ALIGN="BOTTOM" BORDER="0"
 SRC="img134.gif"
 ALT="$t:\tau$">|; 

$key = q/{inline}inlineensuremathmathbbNinline{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="16" HEIGHT="15" ALIGN="BOTTOM" BORDER="0"
 SRC="img56.gif"
 ALT="$\ensuremath{\mathbb{N} } $">|; 

$key = q/{inline}Theta_oplus{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="27" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img89.gif"
 ALT="$\Theta_{\oplus}$">|; 

$key = q/{displaymath}renewedcommandarraystretch1.6arrayl@;inlineensuremath;stackrelmboxtakelseinline;inlineensuremathmathfrakzinline_oplusarray{displaymath}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="403" HEIGHT="159"
 SRC="img33.gif"
 ALT="\begin{displaymath}\renewcommand{\arraystretch}{1.6}
\begin{array}{l@{\;\ensurem...
...hfrak{else} }\;\ensuremath{\mathfrak{z} } _{\oplus}
\end{array}\end{displaymath}">|; 

$key = q/{displaymath}Gamma[x:tau](y)inlineensuremath;stackrelmboxtinydef=;inlineleft{arrex=yinline;Gamma(y)&mboxifinlinexneqyinline.arrayright.{displaymath}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="229" HEIGHT="106"
 SRC="img131.gif"
 ALT="\begin{displaymath}
\Gamma[x:\tau](y) \ensuremath{\;\stackrel{\mbox{\tiny def}}{...
...}; \\\\ \\\\
\Gamma(y) & \mbox{if $x\neq y$ }.
\end{array}\right.
\end{displaymath}">|; 

$key = q/{inline}phi{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="14" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img31.gif"
 ALT="$\phi$">|; 

$key = q/{inline}inlineensuremathmathttbaginline{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="29" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img104.gif"
 ALT="$\ensuremath{\mathtt{bag}} $">|; 

$key = q/{inline}lambdax_1.ldotslambdax_n-k.f(t_1,ldots,t_k,x_1,ldots,x_n-k){inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="289" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img147.gif"
 ALT="$\lambda x_1.\ldots\lambda x_{n-k}.f(t_1,\ldots,t_{k},x_1,\ldots,x_{n-k})$">|; 

$key = q/{inline}ensuremathmathttsum{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="29" HEIGHT="15" ALIGN="BOTTOM" BORDER="0"
 SRC="img46.gif"
 ALT="\ensuremath{\mathtt{sum}}">|; 

$key = q/{inline}inlineensuremathmathcalBinline{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="15" HEIGHT="15" ALIGN="BOTTOM" BORDER="0"
 SRC="img120.gif"
 ALT="$\ensuremath{{\mathcal B}} $">|; 

$key = q/{displaymath}arrayrrllltau&::=&A&(AininlineensuremathmathcalBinline)&mboxbasictyxvariabletype&|&taurightarrowtau&&mboxfunctiontypearray{displaymath}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="275" HEIGHT="106"
 SRC="img125.gif"
 ALT="\begin{displaymath}
\begin{array}{rrlll}
\tau & ::= & A & (A\in\ensuremath{{\mat...
...ert & \tau\rightarrow \tau & & \mbox{function type}
\end{array}\end{displaymath}">|; 

$key = q/{inline}mboxbullet{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="13" HEIGHT="15" ALIGN="BOTTOM" BORDER="0"
 SRC="img32.gif"
 ALT="$\mbox{$\bullet$}$">|; 

$key = q/{inline}inlineensuremathmathfrakCinline_oplus{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="25" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img90.gif"
 ALT="$\ensuremath{\mathfrak{C} } _{\oplus}$">|; 

$key = q/{inline}inlineensuremathmathbftypeinline(a)=tau{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="90" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img127.gif"
 ALT="$\ensuremath{\mathbf{type}} (a)=\tau$">|; 

$key = q/{inline}vee{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img65.gif"
 ALT="$\vee$">|; 

$key = q/{inline}inlineensuremath!+!!+inline{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="21" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img79.gif"
 ALT="$\ensuremath{\!+\!\!+} $">|; 

$key = q/{inline}Gamma{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="14" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img128.gif"
 ALT="$\Gamma$">|; 

$key = q/{inline}max{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="34" HEIGHT="15" ALIGN="BOTTOM" BORDER="0"
 SRC="img64.gif"
 ALT="$\max$">|; 

$key = q/{inline}tau{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="13" HEIGHT="15" ALIGN="BOTTOM" BORDER="0"
 SRC="img124.gif"
 ALT="$\tau$">|; 

$key = q/{inline}inlineensuremathmathbftypeinline(inlineensuremathmathfraktrueinline)=inlineensuremathmathttboolinline{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="133" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img154.gif"
 ALT="$\ensuremath{\mathbf{type}} (\ensuremath{\mathfrak{true} } )=\ensuremath{\mathtt{bool}} $">|; 

$key = q/{displaymath}arrayrrlllt&::=&a&(aininlineensuremathmathbfCinline=inlineensurematinlineensuremathmathfrakfixinline;t&&mboxrecursionarray{displaymath}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="410" HEIGHT="220"
 SRC="img149.gif"
 ALT="\begin{displaymath}
\begin{array}{rrlll}
t & ::= & a & (a\in\ensuremath{\mathbf{...
...ensuremath{\mathfrak{fix} }\;t & & \mbox{recursion}
\end{array}\end{displaymath}">|; 

$key = q/{inline}(1star2)star3{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="71" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img74.gif"
 ALT="$(1\star2)\star3$">|; 

$key = q/{inline}(+;t_1);t_2{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="64" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img144.gif"
 ALT="$(+\;t_1)\;t_2$">|; 

$key = q/{inline}T_star{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="21" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img68.gif"
 ALT="$T_{\star}$">|; 

$key = q/{inline}ensuremathmathttbool{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="38" HEIGHT="15" ALIGN="BOTTOM" BORDER="0"
 SRC="img94.gif"
 ALT="\ensuremath{\mathtt{bool}}">|; 

$key = q/{inline}inlineensuremathmathbftypeinline(inlineensuremathmathfrakfalseinline)=inlineensuremathmathttboolinline{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="138" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img155.gif"
 ALT="$\ensuremath{\mathbf{type}} (\ensuremath{\mathfrak{false} } )=\ensuremath{\mathtt{bool}} $">|; 

$key = q/{inline}inlineensuremathmathfrakuinline_star{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="20" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img78.gif"
 ALT="$\ensuremath{\mathfrak{u} } _{\star}$">|; 

$key = q/{inline}inlineensuremathmathfrakzinline_oplus{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="21" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img92.gif"
 ALT="$\ensuremath{\mathfrak{z} } _{\oplus}$">|; 

$key = q/{inline}i=1,ldots,n{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="86" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img39.gif"
 ALT="$i=1,\ldots,n$">|; 

$key = q/{inline}StimesS{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="45" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img51.gif"
 ALT="$S\times
S$">|; 

$key = q/{displaymath}renewedcommandarraystretch1.6arrayl@;=;l1&inlineensuremathensurematemathmathfrakhomcup^+inline[lambdax.1]({a})&1+1&2.array{displaymath}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="286" HEIGHT="190"
 SRC="img20.gif"
 ALT="\begin{displaymath}\renewcommand{\arraystretch}{1.6}
\begin{array}{l@{\;=\;}l}
1...
...p}^{+}} [\lambda x.1](\{a\}) \\\\
& 1 + 1 \\\\
& 2.
\end{array}\end{displaymath}">|; 

$key = q/{inline}{2,3,4}{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="59" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img6.gif"
 ALT="$\{2,3,4\}$">|; 

$key = q/{inline}ensuremathTheta_oplussubseteqTheta_odot{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="72" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img9.gif"
 ALT="\ensuremath{\Theta_{\oplus}\subseteq\Theta_{\odot}}">|; 

$key = q/{inline}ensuremathensuremathmathfrakhomcup^+{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="43" HEIGHT="36" ALIGN="MIDDLE" BORDER="0"
 SRC="img19.gif"
 ALT="\ensuremath{\ensuremath{\mathfrak{hom} }_{\cup}^{+}}">|; 

$key = q/{inline}inlineensuremathmathttlistinline{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="38" HEIGHT="15" ALIGN="BOTTOM" BORDER="0"
 SRC="img108.gif"
 ALT="$\ensuremath{\mathtt{list}} $">|; 

$key = q/{displaymath}xstarepsilon=epsilonstarx=epsilon.{displaymath}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="114" HEIGHT="44"
 SRC="img55.gif"
 ALT="\begin{displaymath}
x\star\epsilon = \epsilon\star x = \epsilon.
\end{displaymath}">|; 

$key = q/{inline}langlex,x^2rangle{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="49" HEIGHT="33" ALIGN="MIDDLE" BORDER="0"
 SRC="img25.gif"
 ALT="$\langle x,x^2\rangle$">|; 

$key = q/{inline}inlineensuremathmathttbaginline(alpha){inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="52" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img105.gif"
 ALT="$\ensuremath{\mathtt{bag}} (\alpha)$">|; 

$key = q/{figure}parcenterpartabularcccccccccc&&&rnodeTYPEtype[3cm]parrnodeBASICbasic&rnoANGEncline-TYPEENUMncline-TYPESETOFncline-TYPEARRAYcenterpar{figure}FSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="421" HEIGHT="170"
 SRC="img49.gif"
 ALT="\begin{figure}\par\begin{center}
\par\begin{tabular}{cccccccccc}
&&& \rnode{TYPE...
...UM}
\ncline{-}{TYPE}{SETOF}
\ncline{-}{TYPE}{ARRAY}
\end{center}\par\end{figure}">|; 

$key = q/{inline}{!!{a}!!}uplus{!!{b}!!}uplus{!!{c}!!}{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="126" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img85.gif"
 ALT="$\{\!\!\{a\}\!\!\}\uplus\{\!\!\{b\}\!\!\}\uplus\{\!\!\{c\}\!\!\}$">|; 

$key = q/{inline}Gamma;vdash;t:tau{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="70" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img133.gif"
 ALT="$\Gamma\;\vdash\;t : \tau$">|; 

$key = q/{inline}inlineensuremathmathbfVinline{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="19" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img113.gif"
 ALT="$\ensuremath{\mathbf{V}} $">|; 

$key = q/{inline}inlineensuremathmathbftypeinline(vee)=inlineensuremathmathttboolinlinerihmathttboolinlinerightarrowinlineensuremathmathttboolinline){inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="246" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img157.gif"
 ALT="$\ensuremath{\mathbf{type}} (\vee)=\ensuremath{\mathtt{bool}}\rightarrow (\ensuremath{\mathtt{bool}}\rightarrow \ensuremath{\mathtt{bool}} )$">|; 

$key = q/{inline}x;leftarrow;e'{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="59" HEIGHT="16" ALIGN="BOTTOM" BORDER="0"
 SRC="img36.gif"
 ALT="$x\;\leftarrow\;e'$">|; 

$key = q/{inline}inlineensuremathmathfrakTinline_oplus{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="26" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img86.gif"
 ALT="$\ensuremath{\mathfrak{T} } _{\oplus}$">|; 

$key = q/{inline}f(t_1,ldots,t_k){inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="91" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img145.gif"
 ALT="$f(t_1,\ldots,t_{k})$">|; 

$key = q/{inline}langleinlineensuremathmathbbNinline,max,0rangle{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="80" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img60.gif"
 ALT="$\langle \ensuremath{\mathbb{N} } ,\max,0\rangle$">|; 

$key = q/{inline}inlineensuremathmathbfTinline{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="17" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img116.gif"
 ALT="$\ensuremath{\mathbf{T}} $">|; 

$key = q/{displaymath}arrayrrlllt&::=&a&(aininlineensuremathmathbfCinline)&mboxconstant&|hbfVinline)&mboxabstraction&|&t;t&&mboxapplicationarray{displaymath}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="245" HEIGHT="129"
 SRC="img115.gif"
 ALT="\begin{displaymath}
\begin{array}{rrlll}
t & ::= & a & (a\in\ensuremath{\mathbf{...
...raction} \\\\
& \vert & t\;t & & \mbox{application}
\end{array}\end{displaymath}">|; 

$key = q/{displaymath}arrayrrllltau&::=&inlineensuremathmathttintinline;|;inlineensurematmboxtupletype&|&taurightarrowtau&&mboxfunctiontypearray{displaymath}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="303" HEIGHT="129"
 SRC="img151.gif"
 ALT="\begin{displaymath}
\begin{array}{rrlll}
\tau & ::= & \ensuremath{\mathtt{int}}\...
...ert & \tau\rightarrow \tau & & \mbox{function type}
\end{array}\end{displaymath}">|; 

$key = q/{inline}wedge{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img66.gif"
 ALT="$\wedge$">|; 

$key = q/{inline}beta{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="14" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img118.gif"
 ALT="$\beta$">|; 

$key = q/{inline}inlineensuremathmathfrakfalseinline{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="36" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img95.gif"
 ALT="$\ensuremath{\mathfrak{false} } $">|; 

$key = q/{inline}tau_1{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="19" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img136.gif"
 ALT="$\tau_1$">|; 

$key = q/{inline}xininlineensuremathmathbfVinline{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="47" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img129.gif"
 ALT="$x\in\ensuremath{\mathbf{V}} $">|; 

$key = q/{inline}epsiloninS{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="41" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img52.gif"
 ALT="$\epsilon\in S$">|; 

$key = q/{inline}+,*,-,slash,vee,wedge,{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="106" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img142.gif"
 ALT="$+, *,
-, /, \vee, \wedge,$">|; 

$key = q/{inline}f:alpharightarrowinlineensuremathmathfrakTinline_odot{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="83" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img11.gif"
 ALT="$f:\alpha\rightarrow \ensuremath{\mathfrak{T} } _{\odot}$">|; 

$key = q/{inline}{!!{x}!!}{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="35" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img107.gif"
 ALT="$\{\!\!\{x\}\!\!\}$">|; 

$key = q/{inline}{a}cup{b}cup{c}{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="109" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img83.gif"
 ALT="$\{a\}\cup\{b\}\cup\{c\}$">|; 

$key = q/{inline}A,B,ldots{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="65" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img121.gif"
 ALT="$A, B,
\ldots$">|; 

$key = q/{inline}inlineensuremathmathbfOinline{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="18" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img143.gif"
 ALT="$\ensuremath{\mathbf{O}} $">|; 

$key = q/{figure}centerfboxtabularrlparinlinedisplaystylefracGamma;vdash;bot:alphainline&plus{e_1;[!];e_2,Q}inline:tauinline&partabularcenter{figure}MSF=1.6;FSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="567" HEIGHT="835"
 SRC="img48.gif"
 ALT="\begin{figure}\begin{center}
\fbox{\begin{tabular}{rl}
\par $\displaystyle\frac{...
...lus\{e_1\;[\!]\;e_2,Q\}} : \tau}$ &
\par \end{tabular}}\end{center}\end{figure}">|; 

$key = q/{inline}q_1,ldots,q_n{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="72" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img28.gif"
 ALT="$q_1,\ldots,q_n$">|; 

$key = q/{inline}1leqk<n{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="73" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img146.gif"
 ALT="$1\leq k < n$">|; 

$key = q/{inline}{a,b,c}{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="57" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img82.gif"
 ALT="$\{a,b,c\}$">|; 

$key = q/{inline}t_1start_2{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="45" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img72.gif"
 ALT="$t_1\star t_2$">|; 

$key = q/{inline}{!!{}!!}{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="26" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img106.gif"
 ALT="$\{\!\!\{\}\!\!\}$">|; 

$key = q/{inline}inlineensuremathmathfrakTinline_oplus=inlineensuremathmathfrakCinline_oplus(alpha){inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="90" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img14.gif"
 ALT="$\ensuremath{\mathfrak{T} } _{\oplus}=\ensuremath{\mathfrak{C} } _{\oplus}(\alpha)$">|; 

$key = q/{inline}uplus{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img103.gif"
 ALT="$\uplus$">|; 

$key = q/{inline}ensuremathmathttint{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="29" HEIGHT="15" ALIGN="BOTTOM" BORDER="0"
 SRC="img93.gif"
 ALT="\ensuremath{\mathtt{int}}">|; 

$key = q/{inline}inlineensuremathmathbftypeinline(n)=inlineensuremathmathttintinline{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="108" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img152.gif"
 ALT="$\ensuremath{\mathbf{type}} (n)=\ensuremath{\mathtt{int}} $">|; 

$key = q/{inline}oplus:inlineensuremathmathfrakTinline_oplustimesinlineensuremathmathfrakTinline_oplusrightarrowinlineensuremathmathfrakTinline_oplus{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="138" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img87.gif"
 ALT="$\oplus:
\ensuremath{\mathfrak{T} } _{\oplus}\times\ensuremath{\mathfrak{T} } _{\oplus}\rightarrow \ensuremath{\mathfrak{T} } _{\oplus}$">|; 

$key = q/{inline}Gamma[x:tau]{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="54" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img132.gif"
 ALT="$\Gamma[x:\tau]$">|; 

$key = q/{inline}inlineensuremathensuremathmathfrakhomensuremath!+!!+^cupinline[lambdax.x+1]{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="114" HEIGHT="34" ALIGN="MIDDLE" BORDER="0"
 SRC="img5.gif"
 ALT="$\ensuremath{\ensuremath{\mathfrak{hom} }_{\ensuremath{\!+\!\!+}}^{\cup}} [\lambda x.x+1]$">|; 

$key = q/{inline}star{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="13" HEIGHT="15" ALIGN="BOTTOM" BORDER="0"
 SRC="img50.gif"
 ALT="$\star$">|; 

$key = q/{inline}a,bldots{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="50" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img112.gif"
 ALT="$a, b
\ldots$">|; 

$key = q/{inline}nininlineensuremathmathbbNinline{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="45" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img153.gif"
 ALT="$n\in\ensuremath{\mathbb{N} } $">|; 

$key = q/{inline}cup{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img98.gif"
 ALT="$\cup$">|; 

$key = q/{inline}langleS,star,epsilonrangle{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="55" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img53.gif"
 ALT="$\langle S,\star,\epsilon\rangle$">|; 

$key = q/{inline}{langlex,x^2rangle;|;xininlineensuremathmathbbNinline,existsn.x=2n}{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="196" HEIGHT="33" ALIGN="MIDDLE" BORDER="0"
 SRC="img24.gif"
 ALT="$\{\langle x,x^2\rangle\;\vert\;x\in\ensuremath{\mathbb{N} } , \exists
n.x=2n\}$">|; 

$key = q/{inline}{!!{1,2,1}!!}{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="63" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img76.gif"
 ALT="$\{\!\!\{1,2,1\}\!\!\}$">|; 

$key = q/{inline}inlineensuremathmathfrakuinline_oplus:alpharightarrowinlineensuremathmathfrakCinline_oplus(alpha){inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="115" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img91.gif"
 ALT="$\ensuremath{\mathfrak{u} } _{\oplus} : \alpha\rightarrow \ensuremath{\mathfrak{C} } _{\oplus}(\alpha)$">|; 

$key = q/{inline}xstarepsilon{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="35" HEIGHT="15" ALIGN="BOTTOM" BORDER="0"
 SRC="img77.gif"
 ALT="$x\star\epsilon$">|; 

$key = q/{inline}tauininlineensuremathmathcalTinline{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="45" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img130.gif"
 ALT="$\tau\in\ensuremath{{\mathcal T}} $">|; 

$key = q/{displaymath}arrayllinlineensuremathmathttresultinline;leftarrow;inlineensurematfreturninline;;inlineensuremathmathttresultinline;array{displaymath}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="493" HEIGHT="94"
 SRC="img15.gif"
 ALT="\begin{displaymath}
\begin{array}{ll}
\ensuremath{\mathtt{result}}\;\leftarrow\;...
...\mathbf{return}}\;\; \ensuremath{\mathtt{result}} ;
\end{array}\end{displaymath}">|; 

$key = q/{inline}[a]inlineensuremath!+!!+inline[b]inlineensuremath!+!!+inline[c]{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="101" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img81.gif"
 ALT="$[a]\ensuremath{\!+\!\!+} [b]\ensuremath{\!+\!\!+} [c]$">|; 

$key = q/{inline}x.inlineensuremathmathttnameinline=y.inlineensuremathmathttnameinline,x.inlineensuremathmathttageinlinegeq18{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="201" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img42.gif"
 ALT="$x.\ensuremath{\mathtt{name}} =y.\ensuremath{\mathtt{name}} , x.\ensuremath{\mathtt{age}}\geq 18$">|; 

$key = q/{inline}ensuremathmathttcount{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="46" HEIGHT="15" ALIGN="BOTTOM" BORDER="0"
 SRC="img45.gif"
 ALT="\ensuremath{\mathtt{count}}">|; 

$key = q/{inline}inlineensuremathmathfraktrueinline{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="31" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img96.gif"
 ALT="$\ensuremath{\mathfrak{true} } $">|; 

$key = q/{displaymath}xstarx=x{displaymath}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="63" HEIGHT="44"
 SRC="img67.gif"
 ALT="\begin{displaymath}
x\star x = x
\end{displaymath}">|; 

$key = q/{inline}inlineensuremathmathbbBinline={inlineensuremathmathfraktrueinline,inlineensuremathmathfrakfalseinline}{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="116" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img57.gif"
 ALT="$\ensuremath{\mathbb{B} } =\{\ensuremath{\mathfrak{true} } ,\ensuremath{\mathfrak{false} }\}$">|; 

$key = q/{displaymath}arrayllinlineensuremathmathttresultinline;leftarrow;{};inlineensurefreturninline;;inlineensuremathmathttresultinline;array{displaymath}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="338" HEIGHT="94"
 SRC="img8.gif"
 ALT="\begin{displaymath}\begin{array}{ll}
\ensuremath{\mathtt{result}}\;\leftarrow\;\...
...\mathbf{return}}\;\; \ensuremath{\mathtt{result}} ;
\end{array}\end{displaymath}">|; 

$key = q/{inline}lambda{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="14" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img1.gif"
 ALT="$\lambda $">|; 

$key = q/{inline}tau_n{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="20" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img138.gif"
 ALT="$\tau_n$">|; 

$key = q/{inline}{C,I}{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="47" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img18.gif"
 ALT="$\{C,I\}$">|; 

$key = q/{inline}{}{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="20" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img101.gif"
 ALT="$\{\}$">|; 

$key = q/{inline}inlineensuremathmathbfCinline{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="17" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img111.gif"
 ALT="$\ensuremath{\mathbf{C}} $">|; 

$key = q/{inline}langleinlineensuremathmathbbNinline,+,0rangle{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="63" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img58.gif"
 ALT="$\langle \ensuremath{\mathbb{N} } ,+,0\rangle$">|; 

$key = q/{inline}inlineensuremathmathbftypeinline(+)=inlineensuremathmathttintinlinerightathmathttintinlinerightarrowinlineensuremathmathttintinline){inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="223" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img156.gif"
 ALT="$\ensuremath{\mathbf{type}} (+)=\ensuremath{\mathtt{int}}\rightarrow (\ensuremath{\mathtt{int}}\rightarrow \ensuremath{\mathtt{int}} )$">|; 

$key = q/{inline}inlineensuremathmathfrakuinline_inlineensuremath!+!!+inline(x)=[x]{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="87" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img80.gif"
 ALT="$\ensuremath{\mathfrak{u} } _{\ensuremath{\!+\!\!+} }(x)=[x]$">|; 

$key = q/{displaymath}SJoin_p^fT;inlineensuremath;stackrelmboxtinydef=;inline;inlineensurp{f(x,y);[!];x;leftarrow;S,y;leftarrow;T,p(x,y)}inline.{displaymath}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="353" HEIGHT="59"
 SRC="img37.gif"
 ALT="\begin{displaymath}
S \Join_p^f T \;\ensuremath{\;\stackrel{\mbox{\tiny def}}{=}...
...{f(x,y)\;[\!]\;x\;\leftarrow\;S, y\;\leftarrow\;T, p(x,y)\}} .
\end{displaymath}">|; 

$key = q/{inline}Gamma_1{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="21" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img137.gif"
 ALT="$\Gamma_1$">|; 

$key = q/{displaymath}displaystylefracGamma;vdash;t:tau{displaymath}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="65" HEIGHT="59"
 SRC="img140.gif"
 ALT="\begin{displaymath}\displaystyle\frac{}{\Gamma\;\vdash\;t : \tau}
\end{displaymath}">|; 

$key = q/{inline}inlineensuremathmathcalVinline{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="16" HEIGHT="15" ALIGN="BOTTOM" BORDER="0"
 SRC="img122.gif"
 ALT="$\ensuremath{{\mathcal V}} $">|; 

$key = q/{displaymath}renewedcommandarraystretch1.6arrayl@;=;linlineensuremathensuremathmemathensuremathmathfrakhomoplus^odotinline[f](x_0)array{displaymath}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="305" HEIGHT="98"
 SRC="img22.gif"
 ALT="\begin{displaymath}\renewcommand{\arraystretch}{1.6}
\begin{array}{l@{\;=\;}l}
\...
...uremath{\mathfrak{hom} }_{\oplus}^{\odot}} [f](x_0)
\end{array}\end{displaymath}">|; 

$key = q/{inline}cup_ngeq0T_n{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="58" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img69.gif"
 ALT="$\cup_{n\geq 0}T_n$">|; 

$key = q/{inline}e':inlineensuremathmathfrakTinline_odot{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="51" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img35.gif"
 ALT="$e':\ensuremath{\mathfrak{T} } _{\odot}$">|; 

$key = q/{inline}f(t_1,ldots,t_n)=(ldots(f;t_1)ldotst_n-1);t_n{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="259" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img148.gif"
 ALT="$f(t_1,\ldots,t_n) = (\ldots(f\;t_1)
\ldots t_{n-1})\;t_n$">|; 

$key = q/{inline}x;leftarrow;e{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="55" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img30.gif"
 ALT="$x\;\leftarrow\;e$">|; 

$key = q/{inline}inlineensuremathmathcalTinline{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="17" HEIGHT="15" ALIGN="BOTTOM" BORDER="0"
 SRC="img126.gif"
 ALT="$\ensuremath{{\mathcal T}} $">|; 

$key = q/{inline}langleinlineensuremathmathbbBinline,wedge,inlineensuremathmathfraktrueinlinerangle{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="78" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img62.gif"
 ALT="$\langle \ensuremath{\mathbb{B} } ,\wedge,\ensuremath{\mathfrak{true} }\rangle$">|; 

$key = q/{figure}centerfboxtabularrlparinlinedisplaystylefracGamma;vdash;a:tauinline&fora_1Gamma;vdash;t_1;t_2:tau_2inlinespace&tabularcenter{figure}MSF=1.6;FSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="429" HEIGHT="205"
 SRC="img141.gif"
 ALT="\begin{figure}\begin{center}
\fbox{\begin{tabular}{rl}
\par $\displaystyle\frac{...
...mma\;\vdash\;t_1\;t_2 : \tau_2}
$\space &
\end{tabular}}\end{center}\end{figure}">|; 

$key = q/{inline}x_0oplusx_0=x_0{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="94" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img21.gif"
 ALT="$x_0\oplus x_0=x_0$">|; 

$key = q/{inline}alpha,beta,ldots{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="60" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img123.gif"
 ALT="$\alpha, \beta, \ldots$">|; 

$key = q/{inline}{I}{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="29" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img17.gif"
 ALT="$\{I\}$">|; 

$key = q/{figure}centerfboxinlinearrayrrlle&::=&bot&mboxnullvalue&|&c&mboxconstant&|&x&mb!];Q}inline&mboxmonoidcomprehensionarrayinlinecenter{figure}MSF=1.6;FSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="413" HEIGHT="240"
 SRC="img47.gif"
 ALT="\begin{figure}\begin{center}
\fbox{$\begin{array}{rrll}
e & ::= & \bot & \mbox{n...
...]\;Q\}} & \mbox{monoid comprehension} \\\\
\end{array}$ }\end{center}\end{figure}">|; 

$key = q/{inline}langleinlineensuremathmathbbNinline,*,1rangle{inline}MSF=1.6;AAT;/;
$cached_env_img{$key} = q|<IMG
 WIDTH="59" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img59.gif"
 ALT="$\langle \ensuremath{\mathbb{N} } ,*,1\rangle$">|; 

1;

