Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /papers/modulespaper/design/figs/fig-tyceval.tex
ViewVC logotype

Annotation of /papers/modulespaper/design/figs/fig-tyceval.tex

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3564 - (view) (download) (as text)

1 : dbm 3564
2 :     \begin{figure}
3 :     \centering
4 :     \hrule
5 :     \small
6 :     \setlength{\tabcolsep}{0ex}
7 :     \renewcommand{\arraystretch}{1.1}
8 :     ~\\[1mm]
9 :     \begin{equation}
10 :     \infer{(\lambda\vec{\alpha}.\mathfrak{C}^s)(\vv{\mathfrak{C}^s}) \Downarrow_{mt} \mathfrak{C}^{nf}_2}
11 :     {\vv{\mathfrak{C}^s}\Downarrow_{mt} \vv{\mathfrak{C}^{nf}_1}\qquad\mathfrak{C}^s\{\vv{\mathfrak{C}^{nf}_1}/\vec{\alpha}\} \Downarrow_{mt} \mathfrak{C}^{nf}_2}
12 :     \end{equation}
13 :     % \hrule
14 :     \caption{Semantic tycon evaluation}
15 :     \label{fig:semtyceval}
16 :     \end{figure}

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0