Types as theories (1991)

by Joseph Goguen
Venue:Topology and Category Theory in Computer Science