\batchmode
\documentstyle[11pt]{book}
\makeatletter

\marginparwidth 0pt 
\marginparsep 0pt
\topmargin 0pt 
\oddsidemargin=1cm
\evensidemargin=1cm
\textwidth=14.5cm
\textheight=21cm
 \let\endthebibliography=\endlist 
\pagestyle{headings}
\setcounter{tocdepth}{1}
\setcounter{secnumdepth}{3}

        \htmltrue             

\def\thebibliography#1{\list
{[\arabic{enumi}]}{\settowidth\labelwidth{[#1]}\leftmargin\labelwidth
\advance\leftmargin\labelsep \usecounter{enumi}} \def \newblock{\hskip .11em
plus .33em minus .07em} \sloppy\clubpenalty4000\widowpenalty4000
\sfcode`\.=1000\relax}

\renewcommand{\paragraph}[1]{\ \\[1ex]\noindent {\bf #1 \hspace*{2ex}}}

\newenvironment{biblio}{\begin{list}{\bullet}{\settowidth{\labelwidth}{[FLMR97]}
    \settowidth{\leftmargin}{[FLMR97]\hspace{\labelsep}}
    \renewcommand {\bibItem}[2]{\item[{[##1]}\hfill]}}
    }{\end{list}}

\def\thepicture{{\center\mbox{}{\box\graph}\mbox{}\endcenter}}

\def\lsw{$\lambda\sigma_w$}

\newcommand{\refname}{{\ }}

\newcommand{\noopsort}[1]{}

\newcommand{\pic}{$\pi$-calculus}

\newcommand{\lac}{$\lambda$-calculus}

\renewcommand{\refname}{{\ }}

\renewcommand{\noopsort}[1]{}

\newcommand{\pcf}{\mbox{PCF}}

\newcommand{\lbd}{\lambda}

\def\Dred{\to_D}

\def\Nred{\to_N}

\newcounter{confer}

\newcommand{\araplus}{\arabic{confer}\addtocounter{confer}{1}}

\newcommand{\clab}{CONFER-2-\araplus}

\newcommand{\conferitem}[2]{\clab& 
    \begin{tabular}[t]{@{\hspace{0ex}}p{3cm}@{\hspace{0ex}}}
    #1
    \end{tabular}
    & \begin{tabular}[t]{@{\hspace{0ex}}p{11.5cm}@{\hspace{0ex}}}
    #2
    \end{tabular}\\    \\}

\makeatother
\ifx\AtBeginDocument\undefined \newcommand{\AtBeginDocument}[1]{}\fi
\newenvironment{tex2html_wrap}{}{}
\newbox\sizebox
\setlength{\hoffset}{0pt}\setlength{\voffset}{0pt}
\addtolength{\textheight}{\footskip}\setlength{\footskip}{0pt}
\addtolength{\textheight}{\topmargin}\setlength{\topmargin}{0pt}
\addtolength{\textheight}{\headheight}\setlength{\headheight}{0pt}
\addtolength{\textheight}{\headsep}\setlength{\headsep}{0pt}
\setlength{\textwidth}{451pt}
\newwrite\lthtmlwrite
\makeatletter
\let\realnormalsize=\normalsize
\topskip=0pt
\def\preveqno{}\let\real@float=\@float \let\realend@float=\end@float
\def\@float{\let\@savefreelist\@freelist\real@float}
\def\end@float{\realend@float\global\let\@freelist\@savefreelist}
\let\real@dbflt=\@dbflt \let\end@dblfloat=\end@float
\let\@largefloatcheck=\relax
\def\@dbflt{\let\@savefreelist\@freelist\real@dbflt}
\def\adjustnormalsize{\def\normalsize{\mathsurround=0pt \realnormalsize\parindent=0pt\abovedisplayskip=0pt\belowdisplayskip=0pt}\normalsize}
\def\lthtmltypeout#1{{\let\protect\string\immediate\write\lthtmlwrite{#1}}}%
\newcommand\lthtmlhboxmathA{\adjustnormalsize\setbox\sizebox=\hbox\bgroup}%
\newcommand\lthtmlvboxmathA{\adjustnormalsize\setbox\sizebox=\vbox\bgroup%
 \let\ifinner=\iffalse }%
\newcommand\lthtmlboxmathZ{\@next\next\@currlist{}{\def\next{\voidb@x}}%
 \expandafter\box\next\egroup}%
\newcommand\lthtmlmathtype[1]{\def\lthtmlmathenv{#1}}%
\newcommand\lthtmllogmath{\lthtmltypeout{l2hSize %
:\lthtmlmathenv:\the\ht\sizebox::\the\dp\sizebox::\the\wd\sizebox.\preveqno}}%
\newcommand\lthtmlfigureA[1]{\let\@savefreelist\@freelist
       \lthtmlmathtype{#1}\lthtmlvboxmathA}%
\newcommand\lthtmlfigureZ{\lthtmlboxmathZ\lthtmllogmath\copy\sizebox
       \global\let\@freelist\@savefreelist}%
\newcommand\lthtmldisplayA[1]{\lthtmlmathtype{#1}\lthtmlvboxmathA}%
\newcommand\lthtmldisplayB[1]{\edef\preveqno{(\theequation)}%
  \lthtmldisplayA{#1}\let\@eqnnum\relax}%
\newcommand\lthtmldisplayZ{\lthtmlboxmathZ\lthtmllogmath\lthtmlsetmath}%
\newcommand\lthtmlinlinemathA[1]{\lthtmlmathtype{#1}\lthtmlhboxmathA  \vrule height1.5ex width0pt }%
\newcommand\lthtmlinlinemathZ{\egroup\expandafter\ifdim\dp\sizebox>0pt %
  \expandafter\centerinlinemath\fi\lthtmllogmath\lthtmlsetmath}
\def\lthtmlsetmath{\hbox{\vrule width.5pt\vtop{\vbox{%
  \kern.5pt\kern1.25 pt\hbox{\hglue.5pt\copy\sizebox\hglue1.25 pt}\kern.5pt%
  \ifdim\dp\sizebox>0pt\kern1.25 pt\fi}%
  \ifdim\hsize>\wd\sizebox \hrule depth1pt\fi}}}
\def\centerinlinemath{\dimen1=\ht\sizebox
  \ifdim\dimen1<\dp\sizebox \ht\sizebox=\dp\sizebox
  \else \dp\sizebox=\ht\sizebox \fi}

\def\lthtmlcheckvsize{\ifdim\ht\sizebox<\vsize\expandafter\vfill
  \else\expandafter\vss\fi}%
\makeatletter


\begin{document}
\pagestyle{empty}\thispagestyle{empty}%
\lthtmltypeout{latex2htmlLength hsize=\the\hsize}%
\lthtmltypeout{latex2htmlLength vsize=\the\vsize}%
\lthtmltypeout{latex2htmlLength hoffset=\the\hoffset}%
\lthtmltypeout{latex2htmlLength voffset=\the\voffset}%
\lthtmltypeout{latex2htmlLength topmargin=\the\topmargin}%
\lthtmltypeout{latex2htmlLength topskip=\the\topskip}%
\lthtmltypeout{latex2htmlLength headheight=\the\headheight}%
\lthtmltypeout{latex2htmlLength headsep=\the\headsep}%
\lthtmltypeout{latex2htmlLength parskip=\the\parskip}%
\lthtmltypeout{latex2htmlLength oddsidemargin=\the\oddsidemargin}%
\makeatletter
\if@twoside\lthtmltypeout{latex2htmlLength evensidemargin=\the\evensidemargin}%
\else\lthtmltypeout{latex2htmlLength evensidemargin=\the\oddsidemargin}\fi%
\makeatother
\setcounter{tocdepth}{1}
\setcounter{secnumdepth}{3}

\setbox 
%

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline3612}%
$\star$%
\lthtmlinlinemathZ
\hfill\lthtmlcheckvsize\clearpage}

\stepcounter{chapter}
\stepcounter{chapter}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline3636}%
$\lambda$%
\lthtmlinlinemathZ
\hfill\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline3638}%
$\pi$%
\lthtmlinlinemathZ
\hfill\lthtmlcheckvsize\clearpage}

\stepcounter{chapter}
\stepcounter{section}
\stepcounter{section}
\stepcounter{subsection}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline3646}%
$\beta$%
\lthtmlinlinemathZ
\hfill\lthtmlcheckvsize\clearpage}

\stepcounter{subsection}
\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
{\newpage\clearpage
\lthtmlfigureA{tex2html_wrap3876}%
\l 
%
\lthtmlfigureZ
\hfill\lthtmlcheckvsize\clearpage}

\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{section}
\stepcounter{subsection}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline3672}%
$(e_i:M\to V_i)_{i\in I}$%
\lthtmlinlinemathZ
\hfill\lthtmlcheckvsize\clearpage}

\stepcounter{subsection}
\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{section}
\stepcounter{subsection}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline3682}%
$\mbox{PCF}$%
\lthtmlinlinemathZ
\hfill\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline3684}%
$\lambda\mu$%
\lthtmlinlinemathZ
\hfill\lthtmlcheckvsize\clearpage}

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline3686}%
$\lambda_r$%
\lthtmlinlinemathZ
\hfill\lthtmlcheckvsize\clearpage}

\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{section}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{chapter}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{chapter}
\stepcounter{section}
\stepcounter{subsection}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline3750}%
$\eta$%
\lthtmlinlinemathZ
\hfill\lthtmlcheckvsize\clearpage}


\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{subsection}
\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{section}
\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{section}
{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline3804}%
$\delta$%
\lthtmlinlinemathZ
\hfill\lthtmlcheckvsize\clearpage}

\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{subsection}

\settowidth {\labelwidth}{[FLMR97]}
%


\settowidth {\leftmargin}{[FLMR97]\hspace{\labelsep}}
%

\stepcounter{subsection}
\stepcounter{chapter}
\setcounter{tocdepth}{1}
\setcounter{secnumdepth}{3}
\setcounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}
\addtocounter{confer}{1}

\end{document}