Unification of theories: A challenge for computing science

  • Tony Hoare
Invited Presentations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1130)


Unification of theories is the long-standing goal of the natural sciences; and modern physics offers a spectacular paradigm of its achievement. The structure of modern mathematics has also been determined by its great unifying theories — topology, algebra and the like. The same ideals and goals are shared by researchers and students of theoretical computing science.


Programming Language Unify Theory Category Theory Grand Unify Theory Programming Paradigm 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Baeten, J.C.M. and Weijland, W.P. Process Algebra. Cambridge University Press, 1990.Google Scholar
  2. 2.
    Barr, M., Wells, C. Category Theory for Computing Science. Prentice Hall, second edition, 1995.Google Scholar
  3. 3.
    Barrow, John D. Theories of Everything. The Quest for Ultimate Explanation. Oxford University Press, 1991.Google Scholar
  4. 4.
    Dijkstra, Edsger W., Scholten, Carel S. Predicate Calculus and Program Semantics. Springer Verlag, 1990.Google Scholar
  5. 5.
    Hennessy, M.C. Algebraic Theory of Processes. MIT Press, 1988.Google Scholar
  6. 6.
    Hentenryck, P. Van. Constraint Satisfaction in Logic Programming. MIT Press, 1989.Google Scholar
  7. 7.
    Hoare, C.A.R. Unified Theories of Programming. Oxford University Computing Laboratory, 1994. Scholar
  8. 8.
    Hoare, C.A.R. Communicating Sequential Processes. Prentice Hall, 1985.Google Scholar
  9. 9.
    Lloyd, J.W. Foundations of Logic Programming. Springer Verlag, second edition, 1987.Google Scholar
  10. 10.
    Milner, A.J.R.G. Communication and Concurrency. Prentice Hall, 1989.Google Scholar
  11. 11.
    Vickers, S. Topology via Logic. Cambridge University Press, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Tony Hoare
    • 1
  1. 1.Oxford University Computing LaboratoryOxford

Personalised recommendations