Advertisement

Formal Aspects of Computing

, Volume 13, Issue 3–5, pp 194–194 | Cite as

Ode to Rod Burstall

  • Eleanor Kerse
Article

Keywords

Computational Mathematic Math Application Category Theory Formal Aspect Personal Secretary 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer-Verlag London Limited 2002

Authors and Affiliations

  • Eleanor Kerse
    • 1
  1. 1.Division of InformaticsUniversity of EdinburghUK

Personalised recommendations