Download: winskel semantics

To get a \"winskel semantics\" you have to use any search engine like Ask.com or any other. But if you are on this website already, we can give you few useful links. Please download few of them.