Typed Object Theory ∗

Many of the above applications can be framed within second-order, quantified modal object theory. However, others require typed object theory, in which object theory is formulated within a background of relational type theory. Typed object theory has been developed in a number of previous works and I henceforth assume some basic familiarity with it.4 Its… CONTINUE READING