[M3] ================================================ AMAST Links 01 03

   International Conference on Typed Lambda Calculi and Applications
                  Edinburgh, April 10th - 12th, 1995

   The _Conference Programme_ (in LaTeX) is available at
URL: http://www.cs.utwente.nl/data/amast/links/v01/i03/full/TLCAm.tex