AMAST Mail - March 1996
Last updated: Tue Dec 24 03:19:41 96
4 messages in chronological order
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
[
March 1996
|
April 1996
|
Latest Update
|
AMAST Mail Meta-Index
|
AMAST Mail 1996
|
AMAST
]
Mail converted by
MHonArc
1.2.3