Type Inheritance and Relational Theory

Part I

PRELIMINARIES

Part I sets the scene for the rest of the book. The first chapter provides some background on The Third Manifesto and explains the origins of our inheritance model (“the Manifesto model”). Chapter 2 gives an overview of the Manifesto theory of types without inheritance. Chapter 3 then takes a preliminary look at the impact of inheritance on that type theory. Finally, Chapter 4 provides, for purposes of subsequent reference, a formal statement of our inheritance model in its entirety.