This article presents the essential features of a type, doing so by rooting typology in the presuppositions of biblical theology and in Scripture. This helps to reveal much about how the New Testament authors conceived of the nature of types.

This article argues that beneath any legitimate type in Scripture is a covenantal topography that rises and falls throughout Israel's covenant history. It demonstrates how biblical types follow this topography from historical prototype, through covenantal ectypes, to their intended antitype—Christ.

The author in this article looks at the representation of Christ's suffering for his people in the Passover lamb. He notes the reasons why such a type was used to represent Christ, and also observes other traits of lambs that are not directly represented in Christ. The various laws and regulations related to the sacrifice of this Passover lamb are also shown here to be reflected in the actual suffering of the Lamb of God.