Types as theories (1991)

by J Goguen
Venue:In Topology and Category Theory in Computer Science