A relational theory of types (1991)

by Roland Backhouse, Jaap van der Woude, Ed Voermans, Grant Malcolm
Venue:In 41st Meeting of the IFIP Working Group 2.1 “Programming languages and calculi”, Document 638-BUR-5