Showing Image 64 items

Towards a semantic theory of dynamic binding.
Operational reasoning and denotational semantics.