[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.