On functions and equality

  • Edsger W. Dijkstra
  • Carel S. Schotten
Part of the Texts and Monographs in Computer Science book series (MCS)


We have to say a word or two about functions because, depending on the ways permitted for their definition, it may be questionable whether they are well-defined at all. Fortunately, our functions will be simple: they will be total functions with values and arguments of well-defined types.


Real Structure Global Variable Predicate Calculus Function Definition Total Function 
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.

Copyright information

© Springer-Verlag New York Inc. 1990

Authors and Affiliations

  • Edsger W. Dijkstra
    • 1
  • Carel S. Schotten
    • 2
  1. 1.University of Texas at Austin AustinUSA
  2. 2.Klein Paradys 4BeekbergenThe Netherlands

Personalised recommendations