JOB: category theory and/or the semantics of computation

9 Dec 1992


      A message from Birmingham, England follows, which seems relevant here.

------- Forwarded Message

cbj＠dcs.ed.ac.uk