A relational formulation of the theory of types / Reinhard Muskens
A relational formulation of the theory of types