In this chapter we explain the basic concepts and notations used throughout this book. We recommend to the reader to move now to Chapter 3 and consult the individual sections of this chapter whenever needed.
KeywordsMathematical Notation Proof System High Type Proper State Simple Variable
Unable to display preview. Download preview PDF.