No matches were found for
subject:"\\\\\\\[TYPES\\\\\\\/announce\\\\\\\] Postdoctoral position at King's College London\\\\\\\: Higher order type theory for formal MDA"
0 matches
Has the words
From
Subject
Date within 1 day of
Date within 3 days of
Date within 1 week of
Date within 2 weeks of
Date within 1 month of
Date within 2 months of
Date within 6 months of
Date within 1 year of
e.g. Jul 18 2006 or 8/14/03
Doesn't have
Sort by relevance
Sort by date
Site Navigation
The Mail Archive home
types-announce - all messages
types-announce - about the list
Expand
Mail list logo
