Normal view MARC view

MIT Press, publisher. (Corporate Name)

Preferred form: MIT Press, publisher.

Machine generated authority record.

Work cat.: (OSt): Winskel, G., (Glynn) author. 23505, The formal semantics of programming languages :