A relational theory of types (1991)

by Roland Backhouse, Jaap van der Woude, Ed Voermans, Grant Malcolm