Can anyone recommend a Uni in Australia that offers good courses
in the following subjects please:
Common Lisp, Scheme,
Lambda Calculus,
Software Mathematics,
Term Re-writing (Plotkin),
Z and VDM
Thanks in advance,
Bill Birch
--
Bill Birch | ·······@uk03.bull.co.uk
Bull Info. Sys. Ltd. | Bull Tel: 773 4770
Maxted Road, | Bull Mail: HM14 UK03
Hemel Hempstead, | Tel: +44 442 884770
HERTS, HP2 7DZ, U.K. | Fax: +44 442 884570
Aviate, Navigate, Communicate...