Patrick Cousot.
Calculational Design of Semantics of the Eager Lambda-Calculus by Abstract Interpretation.
IFIP-WG 2.3 Cambridge meeting , 21—25 July 2008, Cambridge, England.

• PostScript: 1/1 .ps.gz, 2/1 .ps.gz, 4/1 .ps.gz for viewing with GhostScript and GhostView or (color) printing;
• PDF: 1/1 .pdf, 2/1 .pdf, 4/1 .pdf to be used with Acrobat Reader.

\bibitem{Cousot03-WG-2-3-Biarritz}
P{.} Cousot.
\newblock Calculational Design of Semantics of the Eager Lambda-Calculus by 
          Abstract Interpretation.
\newblock IFIP WG 2.3 metting, 21—25 July 2008, Cambridge, England.

@unpublished{Cousot03-WG-2-3-Biarritz,
   author = {P{.} Cousot},
   title  = {Calculational Design of Semantics of the Eager Lambda-Calculus by 
             Abstract Interpretation},
   note   = {IFIP WG 2.3 metting, 21—25 July 2008, Cambridge, England},
}