This site has been permanently archived. This is a static copy provided by the University of Southampton.
Muskens, Reinhard
(1989)
A Relational Formulation of the Theory of Types.
[Journal (Paginated)]