AMAST Mail - March 1996

• summerschool on functional programming
  96/03/22 -- Erik Meijer <erik@cs.ruu.nl>
• CADE-13 Workshop on Proof search in Type-Theoretic Languages
  96/03/25 -- Didier Galmiche <Didier.Galmiche@loria.fr>
• Sussex Category Meeting, 7th-12th July 1996
  96/03/26 -- c.j.mulvey@sussex.ac.uk (Chris Mulvey)
• AMAST'96: Call for Partecipation
  96/03/29 -- reus@mailhost.lrz-muenchen.de