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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log

Revision 3564 - (download) (as text) (annotate)
Thu Sep 30 13:33:05 2010 UTC (8 years, 9 months ago) by dbm
File size: 487 byte(s)
initial import
\infer{(\lambda\vec{\alpha}.\mathfrak{C}^s)(\vv{\mathfrak{C}^s}) \Downarrow_{mt} \mathfrak{C}^{nf}_2}
{\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} 
% \hrule
\caption{Semantic tycon evaluation}

ViewVC Help
Powered by ViewVC 1.0.0