This is TeX, Version 3.14159 (preloaded format=LaTeX 96.8.20)  8 MAY 1998 17:44
**&Big-LaTeX icalp-SYS.tex
(icalp-SYS.tex
LaTeX2e <1995/12/01> patch level 2
(:TeX-inputs:LaTeX:article.cls
Document Class: article 1995/12/20 v1.3q Standard LaTeX document class
(:TeX-inputs:LaTeX:size12.clo
File: size12.clo 1995/12/20 v1.3q Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
) (:User:TeX-inputs:ueareport.sty
Package `ueareport' -- 11 June 1996.
(:TeX-inputs:Graphics:epsfig.sty
Package: epsfig 1995/06/23 v1.5 (e)psfig emulation (SPQR)
 (:TeX-inputs:Graphics:graphicx.sty
Package: graphicx 1995/12/06 v0.6h Enhanced LaTeX Graphics (DPC,SPQR)

(:TeX-inputs:Graphics:keyval.sty
Package: keyval 1995/09/21 v1.09 key=value parser (DPC)
) (:TeX-inputs:Graphics:graphics.sty
Package: graphics 1996/02/20 v0.7h Standard LaTeX Graphics (DPC,SPQR)

(:TeX-inputs:Graphics:trig.sty
Package: trig 1994/10/16 v1.08 sin cos tan (DPC)
) (:TeX-inputs:Graphics:graphics.cfg)
Package graphics Info: Driver file: oztex.def on input line 82.

(:TeX-inputs:Graphics:oztex.def
File: oztex.def 1995/12/04 v2.14 Driver-dependant file (DPC,SPQR)
))
\Gin@req@height=\dimen103
\Gin@req@width=\dimen104
)
\epsfxsize=\dimen105
\epsfysize=\dimen106
)) (:User:TeX-inputs:diagrams.tex
<Paul Taylor's commutative diagrams, version 3.85, 20 August 1997>
\Cd@pA=\count87
\Cd@qA=\count88
\Cd@rA=\count89
\Cd@sA=\count90
\Cd@KA=\dimen107
\Cd@LA=\dimen108
\Cd@NA=\dimen109
\Cd@OA=\dimen110
\Cd@tA=\count91
\Cd@uA=\count92
\Cd@MA=\dimen111
\Cd@@A=\box26
\Cd@gG=\count93
\Cd@KC=\count94
\Cd@sG=\dimen112
\Cd@nC=\dimen113
\Cd@NH=\dimen114
\Cd@qE=\dimen115
\Cd@@I=\dimen116
\Cd@GK=\dimen117
\Cd@WK=\dimen118
\PileSpacing=\dimen119
\Cd@hA=\dimen120
\Cd@TB=\dimen121
\DiagramCellHeight=\dimen122
\DiagramCellWidth=\dimen123
\MapShortFall=\dimen124
\Cd@cA=\dimen125
\rh+:>=\box27
\rt+:<=\box28
\dh+:>=\box29
\dt+:<=\box30
\rt+:>=\box31
\rh+:<=\box32
\dt+:>=\box33
\dh+:<=\box34
\Cd@EE=\toks14
\Cd@BE=\toks15
\Cd@RA=\count95
\Cd@wD=\toks16
\Cd@GE=\toks17
\Cd@AE=\toks18
\Cd@CE=\toks19
\Cd@@E=\toks20
\Cd@FE=\toks21
\Cd@yD=\toks22
\Cd@zD=\toks23
\Cd@xD=\toks24
\Cd@DE=\toks25
\Cd@z=\count96
\Cd@SB=\count97
\Cd@IB=\count98
\Cd@BA=\count99
\Cd@fA=\count100
\Cd@HB=\count101
\Cd@BB=\count102
\Cd@lF=\box35
\Cd@jF=\box36
\DiagonalChoice=\count103
\objectheight=\dimen126
\objectwidth=\dimen127
\Cd@JA=\toks26
\Cd@II=\toks27
\Cd@DH=\toks28
\Cd@RD=\toks29
\Cd@@H=\toks30
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 1836.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 1836.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 1836.
)
(:TeX-inputs:LaTeX:latexsym.sty
Package: latexsym 1995/11/28 v2.2c Standard LaTeX package (lasy symbols)
\symlasy=\mathgroup4
LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 85.
) (icalp-SYS.aux)
LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 25.
LaTeX Font Info:    ... okay on input line 25.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 25.
LaTeX Font Info:    ... okay on input line 25.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 25.
LaTeX Font Info:    ... okay on input line 25.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 25.
LaTeX Font Info:    ... okay on input line 25.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 25.
LaTeX Font Info:    ... okay on input line 25.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 25.
LaTeX Font Info:    ... okay on input line 25.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <14.4> on input line 27.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 27.
LaTeX Font Info:    Try loading font information for U+lasy on input line 27.
 (:TeX-inputs:LaTeX:Ulasy.fd
File: Ulasy.fd 1995/11/28 v2.2cLaTeX symbol font definitions
)
[0

]
\c@thm=\count104
LaTeX Font Info:    Try loading font information for OMS+cmr on input line 242.

 (:TeX-inputs:LaTeX:OMScmr.fd
File: OMScmr.fd 1995/12/20 v2.4f Standard LaTeX font definitions
)
LaTeX Font Info:    Font shape `OMS/cmr/m/n' in size <10> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 242.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 244.
 [1] [0

] [1] [2] [3]
LaTeX Font Info:    Font shape `OMS/cmr/m/n' in size <12> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 570.
 [4] [5] [6] [7] [8]
[9] [10] [11] [12] [13] [14] [15] [16] [17] [18]
Overfull \hbox (31.4699pt too wide) in paragraph at lines 1916--1923
\OT1/cmr/bx/n/12 Proof \OT1/cmr/m/n/12 (1) By Lemma 3.24[] and Corol-lary 3.17[
], $\OML/cmm/m/it/12 FAM\OT1/cmr/m/n/12 ((\OML/cmm/m/it/12 Q\OMS/cmsy/m/n/12 j\
OML/cmm/m/it/12 MDom\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 P\OT1/cmr/m/n/12 ))\OMS/c
msy/m/n/12 j\OML/cmm/m/it/12 P\OT1/cmr/m/n/12 ) = (\OML/cmm/m/it/12 S\OT1/cmr/m
/n/12 )\OML/cmm/m/it/12 FAM\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 Q\OMS/cmsy/m/n/12 
j\OML/cmm/m/it/12 MDom\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 P\OT1/cmr/m/n/12 )) \OM
S/cmsy/m/n/12 \
 []

[19] [20] [21] [22]
Overfull \hbox (10.61319pt too wide) in paragraph at lines 2345--2349
[][]\OT1/cmr/m/n/12 Let $\OML/cmm/m/it/12 P$\OT1/cmr/m/n/12 , $\OML/cmm/m/it/12
 Q$ \OT1/cmr/m/n/12 be fi-nite co-initial re-duc-tions in an AS-DRS. Then $\OML
/cmm/m/it/12 P \OMS/cmsy/m/n/12 ? \OML/cmm/m/it/12 Q$ \OT1/cmr/m/n/12 iff $\OML
/cmm/m/it/12 MDom\OT1/cmr/m/n/12 ([]) \OMS/cmsy/m/n/12 \
 []

! Commutative Diagram: badly drawn diagonals (see manual) at lines 2371--2378
[23] [24] [25] [26] [27] [28]
Underfull \hbox (badness 1117) in paragraph at lines 2909--2911
[][]\OT1/cmr/m/n/12 L^^Sevy J.-J. R^^Seductions cor-rectes et op-ti-males dans 
le lambda-calcul, Th^^Rese de
 []

[29]
Commutative Diagram: try the PostScript option for better results
[30] (icalp-SYS.aux) ) 
Here is how much of TeX's memory you used:
 2788 strings out of 5927
 22781 string characters out of 28921
 88309 words of memory out of 200001
 5613 multiletter control sequences out of 10000
 11505 words of font info for 44 fonts, out of 60000 for 256
 15 hyphenation exceptions out of 2551
 110i,12n,25p,450b,436s stack positions out of 600i,150n,200p,3000b,2000s

Output written on icalp-SYS.dvi (33 pages, 170776 bytes).