Embedding type structure in semantics (1985)

by Mitchell Wand
Venue:Proceedings of the Twelfth Annual ACM Symposium on Principles of Programming Languages